Wyniki
-
On completeness of intermediate predicate logics with respect to Kripke semantics
Tatsuya Shimura
Bulletin of the Section of Logic , 24 /1 (1995) s. 41-45 -
Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics
Tatsuya Shimura
Bulletin of the Section of Logic , 30 /2 (2001) s. 107-114 -
Kripke Incompleteness of Predicate Extentions of Gabbay-deJongh's Logic of the Finite binary trees
Tatsuya Shimura
Bulletin of the Section of Logic , 31 /2 (2002) s. 111-118 -
Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property
Eiko Isoda, Tatsuya Shimura
Bulletin of the Section of Logic , 27 /4 (1998) s. 182-189 -
Some super-intuitionistic logics as the logical fragments of equational theories
Tatsuya Shimura, Nobu-Yuki Suzuki
Bulletin of the Section of Logic , 22 /3 (1993) s. 106-112
Subskrybuj wyniki
Polish History