Wyniki
-
Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4
Kotsumi Sasaki
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 75-88 -
The simple substitution property of the intermediate propositional logics
Katsumi Sasaki
Bulletin of the Section of Logic , 18 /3 (1989) s. 94-99 -
The disjunction property of the logics with axioms of only one variable
Katsumi Sasaki
Bulletin of the Section of Logic , 21 /2 (1992) s. 40-46 -
On Sequent Systems for Bimodal Provability Logics MOS and PRL1
Katsumi Sasaki
Bulletin of the Section of Logic , 31 /2 (2002) s. 91-101 -
American women reformers in China and the Paradox of Internationalism, 1910s-1930s
Motoe Sasaki
Review of International American Studies , 6 /1-2 (2013) s. 111-130 -
A Sequent System without Improper Derivations
Katsumi Sasaki
Bulletin of the Section of Logic , 51 /1 (2022) s. 91-108 -
Finite logics and the simple substitution property
Tsutomu Hosoi, Katsumi Sasaki
Bulletin of the Section of Logic , 19 /3 (1990) s. 74-78 -
A Sequent System of the Logic R- for Rosser Sentences
Katsumi Sasaki, Shigeo Ohama
Bulletin of the Section of Logic , 33 /1 (2004) s. 11-21
Zawęź wyniki
Czasopismo:
- Bulletin of the Section of Logic (7)
- Ido Movement for Culture : journal of martial arts anthropology : theory of culture, psychophysical culture, cultural tourism, anthropology of martial arts, combat sports (1)
- Review of International American Studies (1)
Autor:
- Katsumi Sasaki (5)
- Katsumi Sasaki (1)
- Shigeo Ohama (1)
- Kotsumi Sasaki (1)
- Motoe Sasaki (1)
- Taketo Sasaki (1)
- Tsutomu Hosoi (1)
Subskrybuj wyniki
Polish History