-
Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 3 / s. 104 - 1121994CZYSTY TEKST
Takahito Aoto, Hiroakira Ono, Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 104 - 112
BIBTEX@Article{ authors = " Takahito Aoto, Hiroakira Ono", title = "Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 3", pages = "104 - 112" }
-
On some intuitionistic modal logics Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 4 / s. 182 - 1851977CZYSTY TEKST
Hiroakira Ono, On some intuitionistic modal logics, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 4, s. 182 - 185
BIBTEX@Article{ authors = " Hiroakira Ono", title = "On some intuitionistic modal logics", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 4", pages = "182 - 185" }
