Nobu-Yuki Suzuki
5 artykuły w 1 czasopismach
-
A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logic Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 1 / s. 21 - 281996CZYSTY TEKST
Nobu-Yuki Suzuki, A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 21 - 28
BIBTEX@Article{ authors = " Nobu-Yuki Suzuki", title = "A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logic", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "21 - 28" }
-
Intermediate logics characterized by a class of algebraic frames with infinite individual domain Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / s. 63 - 711989CZYSTY TEKST
Nobu-Yuki Suzuki, Intermediate logics characterized by a class of algebraic frames with infinite individual domain, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 63 - 71
BIBTEX@Article{ authors = " Nobu-Yuki Suzuki", title = "Intermediate logics characterized by a class of algebraic frames with infinite individual domain", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "63 - 71" }
-
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 1-2 / s. 93 - 1092017CZYSTY TEKST
Nobu-Yuki Suzuki, Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 93 - 109
BIBTEX@Article{ authors = " Nobu-Yuki Suzuki", title = "Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "93 - 109" }
-
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" }
-
A remark on super-intuitionistic predicate logics having the same propositional fragment Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 2 / s. 107 - 1151999CZYSTY TEKST
Nobu-Yuki Suzuki, A remark on super-intuitionistic predicate logics having the same propositional fragment, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 107 - 115
BIBTEX@Article{ authors = " Nobu-Yuki Suzuki", title = "A remark on super-intuitionistic predicate logics having the same propositional fragment", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 2", pages = "107 - 115" }
