Katsumi Sasaki
6 artykuły w 1 czasopismach
-
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 - 212004CZYSTY TEKST
Shigeo Ohama, Katsumi Sasaki, A Sequent System of the Logic R- for Rosser Sentences, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 11 - 21
BIBTEX@Article{ authors = " Shigeo Ohama, Katsumi Sasaki", title = "A Sequent System of the Logic R- for Rosser Sentences", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "11 - 21" }
-
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 - 461992CZYSTY TEKST
Katsumi Sasaki, The disjunction property of the logics with axioms of only one variable, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 2, s. 40 - 46
BIBTEX@Article{ authors = " Katsumi Sasaki", title = "The disjunction property of the logics with axioms of only one variable", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 2", pages = "40 - 46" }
-
Finite logics and the simple substitution property Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / s. 74 - 781990CZYSTY TEKST
Tsutomu Hosoi, Katsumi Sasaki, Finite logics and the simple substitution property, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 74 - 78
BIBTEX@Article{ authors = " Tsutomu Hosoi, Katsumi Sasaki", title = "Finite logics and the simple substitution property", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "74 - 78" }
-
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 - 1012002CZYSTY TEKST
Katsumi Sasaki, On Sequent Systems for Bimodal Provability Logics MOS and PRL1, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 91 - 101
BIBTEX@Article{ authors = " Katsumi Sasaki", title = "On Sequent Systems for Bimodal Provability Logics MOS and PRL1", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "91 - 101" }
-
A Sequent System without Improper Derivations Opublikowano w: Bulletin of the Section of Logic 2022 / Tom 51 / Numer 1 / s. 91 - 1082022CZYSTY TEKST
Katsumi Sasaki, A Sequent System without Improper Derivations , Bulletin of the Section of Logic, 2022 / Tom 51 / Numer 1, s. 91 - 108
BIBTEX@Article{ authors = " Katsumi Sasaki", title = "A Sequent System without Improper Derivations ", journal = "Bulletin of the Section of Logic", issue = "2022 / Tom 51 / Numer 1", pages = "91 - 108" }
-
The simple substitution property of the intermediate propositional logics Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 3 / s. 94 - 991989CZYSTY TEKST
Katsumi Sasaki, The simple substitution property of the intermediate propositional logics, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 3, s. 94 - 99
BIBTEX@Article{ authors = " Katsumi Sasaki", title = "The simple substitution property of the intermediate propositional logics", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 3", pages = "94 - 99" }