(No Title)
収録刊行物
-
- On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules
-
On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules 1997