Wyniki
-
Application of the theory of logical matrices in the independence proof
Wojciech Suchoń
Bulletin of the Section of Logic , 2 /2 (1973) s. 121-124 -
On defining Moisil's functors in n-valued Lukasiewicz propositional logic
Wojciech Suchoń
Bulletin of the Section of Logic , 2 /3 (1973) s. 195-196 -
Matrix Lukasiewicz algebras
Wojciech Suchoń
Bulletin of the Section of Logic , 3 /3-4 (1974) s. 9-14 -
Counting formulae of propositional calculus
Wojciech Suchoń
Bulletin of the Section of Logic , 20 /1 (1991) s. 10-13 -
Vasiľiev: what did he exactly do?
Wojciech Suchoń
Logic and Logical Philosophy 7 (1999) s. 131-141 -
On Non Equivalence of Two Definitions of the Algebras of Łukasiewicz
Wojciech Suchoń
Bulletin of the Section of Logic , 1 /1 (1972) s. 35-37 -
No-Equivalence of Certain Definitions of Infinite Łukasiewicz Algebras
Wojciech Suchoń
Bulletin of the Section of Logic , 1 /2 (1972) s. 10-16