Takao Inoue
7 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Some type of formulas and the faithfulness of Flagg and Friedman's translation Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 1 / s. 2 - 11ROK: 1992CZYSTY TEKSTBIBTEX
-
Hintikka formulas as axioms of refutation calculus, a case study Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 105 - 114ROK: 1995CZYSTY TEKSTBIBTEX
-
On compatibility of theories and equivalent translations Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 3 / s. 112 - 119ROK: 1992CZYSTY TEKSTBIBTEX
-
The single axiom-schema of March 8th Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 115ROK: 1995CZYSTY TEKSTBIBTEX
-
On the Atomic Formula Property of Hartig's Refutation Calculus Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 4 / s. 146 - 150ROK: 1994CZYSTY TEKSTBIBTEX
-
Partial interpretations of Lesniewski's epsilon in von Wright-type deontic logics and provability logics Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / s. 223 - 233ROK: 1995CZYSTY TEKSTBIBTEX
-
A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 4 / s. 455 - 463ROK: 2021CZYSTY TEKSTBIBTEX
