Wyniki
-
A complete syntactical characterization of the intuitionistic logic
Tomasz Skura
Bulletin of the Section of Logic , 18 /3 (1989) s. 116-120 -
A new criterion of decidability for intermediate logics
Tomasz Skura
Bulletin of the Section of Logic , 19 /1 (1990) s. 10-14 -
On pure refutation formulations of sentential logics
Tomasz Skura
Bulletin of the Section of Logic , 19 /3 (1990) s. 102-107 -
Refutation rules for three modal logics
Tomasz Skura
Bulletin of the Section of Logic , 21 /1 (1992) s. 31-32