Nobu-Yuki Suzuki
5 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
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 - 28ROK: 1996CZYSTY TEKSTBIBTEX
-
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 - 71ROK: 1989CZYSTY TEKSTBIBTEX
-
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 - 109ROK: 2017CZYSTY 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
-
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 - 115ROK: 1999CZYSTY TEKSTBIBTEX
