Wyniki
-
The logic of algebraic rules as a generalization of equational logic
Tomasz Furmanowski
Bulletin of the Section of Logic , 11 /1-2 (1982) s. 6-12 -
On complete bundless of locally valid identities
Tomasz Furmanowski
Bulletin of the Section of Logic , 13 /4 (1984) s. 202-206 -
Remarks on discussive propositional calculus
Tomasz Furmanowski
Bulletin of the Section of Logic , 4 /1 (1975) s. 33-36