Wyniki
-
Propositions, possible worlds, and recursion
Andrzej Wiśniewski
Logic and Logical Philosophy , 20 /1-2 (2011) s. 73-79 -
A system for proper multiple-conclusion entailment
Tomasz Skura, Andrzej Wiśniewski
Logic and Logical Philosophy , 24 /2 (2015) s. 241-253