Tatsuya Shimura
5 artykuły w 1 czasopismach
-
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 - 451995CZYSTY TEKST
Tatsuya Shimura, On completeness of intermediate predicate logics with respect to Kripke semantics, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 41 - 45
BIBTEX@Article{ authors = " Tatsuya Shimura", title = "On completeness of intermediate predicate logics with respect to Kripke semantics", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "41 - 45" }
-
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 - 1121993CZYSTY TEKST
Tatsuya Shimura, Nobu-Yuki Suzuki, Some super-intuitionistic logics as the logical fragments of equational theories, Bulletin of the Section of Logic, 1993 / Tom 22 / Numer 3, s. 106 - 112
BIBTEX@Article{ authors = " Tatsuya Shimura, Nobu-Yuki Suzuki", title = "Some super-intuitionistic logics as the logical fragments of equational theories", journal = "Bulletin of the Section of Logic", issue = "1993 / Tom 22 / Numer 3", pages = "106 - 112" }
-
Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 2 / s. 107 - 1142001CZYSTY TEKST
Tatsuya Shimura, Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 107 - 114
BIBTEX@Article{ authors = " Tatsuya Shimura", title = "Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "107 - 114" }
-
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 - 1182002CZYSTY TEKST
Tatsuya Shimura, Kripke Incompleteness of Predicate Extentions of Gabbay-deJongh's Logic of the Finite binary trees, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 111 - 118
BIBTEX@Article{ authors = " Tatsuya Shimura", title = "Kripke Incompleteness of Predicate Extentions of Gabbay-deJongh's Logic of the Finite binary trees", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "111 - 118" }
-
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 - 1891998CZYSTY TEKST
Eiko Isoda, Tatsuya Shimura, Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 182 - 189
BIBTEX@Article{ authors = " Eiko Isoda, Tatsuya Shimura", title = "Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "182 - 189" }
