The implicational fragment of Dummett's LC
From MaRDI portal
Publication:3849880
DOI10.2307/2964113zbMath0113.00304MaRDI QIDQ3849880
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
Related Items
Prior’s OIC nonconservativity example revisited, For Want of an ‘And’: A Puzzle about Non-Conservative Extension, The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel, On the separation theorem of intermediate propositional calculi, Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$, 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