Pure denumerable Łukasiewiczian implication

DOI10.2307/2269693zbMath0148.00605OpenAlexW1999828982MaRDI QIDQ5526115

Robert K. Meyer

Publication date: 1966

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269693

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ 2008 Spring Meeting of the Association for Symbolic Logic

This page was built for publication: Pure denumerable Łukasiewiczian implication