Logic as Mathematical Science
From MaRDI portal
Publication:3843597
DOI10.4288/jafpos1956.2.131zbMath0108.00104MaRDI QIDQ3843597
Publication date: 1963
Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4288/jafpos1956.2.131
Related Items
Peirce's Rule in a Full Natural Deduction System, Implicative Semi-Lattices, A Representation Theory for Prime and Implicative Semilattices, Injective and Projective Heyting Algebras, Implicative Homomorphisms with Finite Ranges, The Better Bubbling Lemma, Identities in Implicative Semilattices