The implicational fragment of Dummett's LC

DOI10.2307/2964113zbMath0113.00304OpenAlexW1972787726MaRDI QIDQ3849880

R. A. Bull

Publication date: 1963

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

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

zbMATH Keywords

mathematical logic

Related Items (8)

On the separation theorem of intermediate propositional calculi ⋮ Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$ ⋮ For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ Prior’s OIC nonconservativity example revisited ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Priest on Negation ⋮ The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel

This page was built for publication: The implicational fragment of Dummett's LC