Wyniki
-
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic „K1”
Janusz Ciuciura
Bulletin of the Section of Logic , 46 /3-4 (2017) s. 283-291 -
Intuitionistic discursive system (IDS)
Janusz Ciuciura
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 57-62 -
Labelled Tableaux for D2
Janusz Ciuciura
Bulletin of the Section of Logic , 33 /4 (2004) s. 223-235 -
Frontiers of the Discursive Logic
Janusz Ciuciura
Bulletin of the Section of Logic , 37 /2 (2008) s. 81-92 -
Negations in the Adjunctive Discursive Logic
Janusz Ciuciura
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 143-160 -
Non-Adjunctive Discursive Logic
Janusz Ciuciura
Bulletin of the Section of Logic , 42 /3-4 (2013) s. 169-182 -
Paraconsistent heap : a hierarchy of mbCn-systems
Janusz Ciuciura
Bulletin of the Section of Logic , 43 /3-4 (2014) s. 173-182 -
On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2
Janusz Ciuciura
Logic and Logical Philosophy , 14 /2 (2005) s. 235-252 -
Paraconsistency and Sette’s calculus P1
Janusz Ciuciura
Logic and Logical Philosophy , 24 /2 (2015) s. 265-273