Tatsuya Shimura
5 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On completeness of intermediate predicate logics with respect to Kripke semantics Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 1 / s. 41 - 45ROK: 1995CZYSTY TEKSTBIBTEX
-
Some super-intuitionistic logics as the logical fragments of equational theories Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 3 / s. 106 - 112ROK: 1993CZYSTY TEKSTBIBTEX
-
Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 2 / s. 107 - 114ROK: 2001CZYSTY TEKSTBIBTEX
-
Kripke Incompleteness of Predicate Extentions of Gabbay-deJongh's Logic of the Finite binary trees Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 2 / s. 111 - 118ROK: 2002CZYSTY TEKSTBIBTEX
-
Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 182 - 189ROK: 1998CZYSTY TEKSTBIBTEX
