Wyniki
-
The quarrel theorem - First attempt to the Logic of Lie
B. Majcher
Bulletin of the Section of Logic , 19 /4 (1990) s. 139-146 -
Gentzen semantics for de Morgan lattice logic
Andre T. Fuhrmann
Bulletin of the Section of Logic , 15 /3 (1986) s. 96-102 -
Conditional logics and cumulative logics
Andre T. Fuhrmann
Bulletin of the Section of Logic , 20 /2 (1991) s. 44-51 -
Faces of monotonicity and wisdom formulas problem
Vladimir V. Rybakov, B. Fedorishin
Bulletin of the Section of Logic , 29 /4 (2000) s. 181-192 -
A mechanized decision procedure for non-classical logics: The program KRIPKE
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer
Bulletin of the Section of Logic , 9 /4 (1980) s. 189-192