Takao Inoue
7 artykuły w 1 czasopismach
-
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 - 111992CZYSTY TEKST
Takao Inoue, Some type of formulas and the faithfulness of Flagg and Friedman's translation, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 1, s. 2 - 11
BIBTEX@Article{ authors = " Takao Inoue", title = "Some type of formulas and the faithfulness of Flagg and Friedman's translation", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 1", pages = "2 - 11" }
-
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 - 1141995CZYSTY TEKST
Takao Inoue, Hintikka formulas as axioms of refutation calculus, a case study, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 105 - 114
BIBTEX@Article{ authors = " Takao Inoue", title = "Hintikka formulas as axioms of refutation calculus, a case study", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "105 - 114" }
-
On compatibility of theories and equivalent translations Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 3 / s. 112 - 1191992CZYSTY TEKST
Takao Inoue, On compatibility of theories and equivalent translations, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 3, s. 112 - 119
BIBTEX@Article{ authors = " Takao Inoue", title = "On compatibility of theories and equivalent translations", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 3", pages = "112 - 119" }
-
The single axiom-schema of March 8th Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 1151995CZYSTY TEKST
Takao Inoue, The single axiom-schema of March 8th, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 115
BIBTEX@Article{ authors = " Takao Inoue", title = "The single axiom-schema of March 8th", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "115" }
-
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 - 1501994CZYSTY TEKST
Takao Inoue, On the Atomic Formula Property of Hartig's Refutation Calculus, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 146 - 150
BIBTEX@Article{ authors = " Takao Inoue", title = "On the Atomic Formula Property of Hartig's Refutation Calculus", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "146 - 150" }
-
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 - 2331995CZYSTY TEKST
Takao Inoue, Partial interpretations of Lesniewski's epsilon in von Wright-type deontic logics and provability logics, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 4, s. 223 - 233
BIBTEX@Article{ authors = " Takao Inoue", title = "Partial interpretations of Lesniewski's epsilon in von Wright-type deontic logics and provability logics", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 4", pages = "223 - 233" }
-
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 - 4632021CZYSTY TEKST
Takao Inoue, A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB , Bulletin of the Section of Logic, 2021 / Tom 50 / Numer 4, s. 455 - 463
BIBTEX@Article{ authors = " Takao Inoue", title = "A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB ", journal = "Bulletin of the Section of Logic", issue = "2021 / Tom 50 / Numer 4", pages = "455 - 463" }
