Wyniki
-
On Brouwer’s criticism of classical logic and mathematics
Tomasz Placek
Logic and Logical Philosophy 5 (1997) s. 19-33 -
Charting the labyrinth of Bell-type theorems
Tomasz Placek
Logic and Logical Philosophy 5 (1997) s. 93-120 -
"Bridges from Classical to Nonmonotonic Logic", David Makinson, Londyn 2005 : [recenzja]
Tomasz Jarmużek
Logic and Logical Philosophy , 16 /2-3 (2007) s. 259-262 -
The RM paraconsistent refutation system
Tomasz Skura
Logic and Logical Philosophy , 18 /1 (2009) s. 65-70 -
Completeness of Minimal Positional Calculus
Tomasz Jarmużek, Andrzej Pietruszczak
Logic and Logical Philosophy 13 (2004) s. 147-162 -
A system for proper multiple-conclusion entailment
Tomasz Skura, Andrzej Wiśniewski
Logic and Logical Philosophy , 24 /2 (2015) s. 241-253