Katsumi Sasaki
6 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Sequent System of the Logic R- for Rosser Sentences Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 11 - 21ROK: 2004CZYSTY TEKSTBIBTEX
-
The disjunction property of the logics with axioms of only one variable Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 2 / s. 40 - 46ROK: 1992CZYSTY TEKSTBIBTEX
-
Finite logics and the simple substitution property Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / s. 74 - 78ROK: 1990CZYSTY TEKSTBIBTEX
-
On Sequent Systems for Bimodal Provability Logics MOS and PRL1 Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 2 / s. 91 - 101ROK: 2002CZYSTY TEKSTBIBTEX
-
A Sequent System without Improper Derivations Opublikowano w: Bulletin of the Section of Logic 2022 / Tom 51 / Numer 1 / s. 91 - 108ROK: 2022CZYSTY TEKSTBIBTEX
-
The simple substitution property of the intermediate propositional logics Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 3 / s. 94 - 99ROK: 1989CZYSTY TEKSTBIBTEX
