Przejdź do sekcji głównej
Przejdź do głównego menu
Przejdź do stopki
Wpisz frazę
Szukaj
Zarejestruj
Zaloguj
Język
English
Język Polski
Menu
Strona domowa
Aktualny numer
Archiwum
Prace online
O czasopiśmie
O czasopiśmie
Przesyłanie tekstów
Zespół redakcyjny
Rada redakcyjna
Proces recenzji
Komitet Logic and Logical Philosophy
Polityka Open Access
Polityka prywatności
Kontakt
Zarejestruj
Zaloguj
Język:
English
Język Polski
Logic and Logical Philosophy
Szukaj
Strona domowa
/
Szukaj
Strona domowa
/
Szukaj
Szukaj
Wyszukaj w artykułach
Filtry zaawansowane
Od
Rok
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Miesiąc
stycznia
lutego
marca
kwietnia
maja
czerwca
lipca
sierpnia
września
października
listopada
grudnia
Dzień
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Do
Rok
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Miesiąc
stycznia
lutego
marca
kwietnia
maja
czerwca
lipca
sierpnia
września
października
listopada
grudnia
Dzień
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Według autora
Szukaj
Wyniki wyszukiwania
Znaleziono 13 elementów.
Connexive Conditional Logic. Part I
Heinrich Wansing, Matthias Unterhuber
567-610
28.12.2018
Natural Deduction for Four-Valued both Regular and Monotonic Logics
Yaroslav Petrukhin
53-66
31.01.2017
Normalisation for Some Quite Interesting Many-Valued Logics
Nils Kürbis, Yaroslav Petrukhin
493-534
16.06.2021
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Alexander Steen, Christoph Benzmüller
535-554
26.07.2016
A Poly-Connexive Logic
Nissim Francez
143-157
17.06.2019
Partial and paraconsistent three-valued logics
Vincent Degauquier
143-171
27.02.2016
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
Damian E. Szmuc
277-330
24.05.2019
Rational Agency from a Truth-Functional Perspective
Ekaterina Kubyshkina, Dmitry V. Zaitsev
499-520
15.07.2016
Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality
Norihiro Kamide
481-511
27.01.2019
Extended full computation-tree logics for paraconsistent model checking
Norihiro Kamide
251-276
15.03.2007
Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic
Marcelo E. Coniglio, Martin Figallo
171-203
26.01.2024
On axiomatization of Łukasiewicz's four-valued modal logic
Marcin Tkaczyk
215-232
30.11.2011
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
José Miguel Blanco
75-104
14.08.2021
1 - 13 z 13 elementów