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 16 elementów.
Pieces of mereology
Andrzej Pietruszczak
211-234
23.12.2005
Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic
Ahmad Karimi
753-765
14.06.2019
Paraconsistency and Sette’s calculus P1
Janusz Ciuciura
265–273
06.02.2015
On Béziau’s logic Z
Hitoshi Omori, Toshiharu Waragai
305-320
15.03.2009
The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language
Marcin Łyczak
39-59
21.07.2020
Some remarks on axiomatizing logical consequence operations
Jacek Malinowski
103-117
23.06.2005
A propositional logic of temporal connectives
Richard L. Epstein, Esperanza Buitrago-Díaz
155–200
06.09.2014
The axiomatization of Horst Wessel’s strict logical consequence relation
Andrzej Pietruszczak
121-138
21.12.2004
Computability and human symbolic output
Jason Megill, Tim Melvin
391-401
30.04.2014
On axiomatization of Łukasiewicz's four-valued modal logic
Marcin Tkaczyk
215-232
30.11.2011
Axiomatization of BLRI Determined by Limited Positive Relational Properties
Tomasz Jarmużek, Mateusz Klonowski
1-29
30.01.2022
Two weak Lambek style calculi: DNL and DNL−∗
Wojciech Zielonka
53-64
15.03.2012
On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2
Janusz Ciuciura
235-252
23.12.2005
Meet-Combination of Consequence Systems
Paula Gouveia, João Rasga, Cristina Sernadas
1-36
29.05.2024
If You’re Happy, Then You Know It: The Logic of Happiness . . . and Sadness
Sanaz Azimipour , Pavel Naumov
1-60
05.02.2024
Proof theory of epistemic logic of programs
Paolo Maffezioli, Alberto Naibo
301–328
12.09.2013
1 - 16 z 16 elementów