The implicational fragment of Dummett's LC
From MaRDI portal
Publication:3849880
DOI10.2307/2964113zbMATH Open0113.00304OpenAlexW1972787726MaRDI QIDQ3849880FDOQ3849880
Authors: 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
Cited In (8)
- On the separation theorem of intermediate propositional calculi
- On an axiomatic system for the logic of linearly ordered BCI-matrices
- The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel
- Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$
- Priest on Negation
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension
- Prior’s OIC nonconservativity example revisited
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems
This page was built for publication: The implicational fragment of Dummett's LC
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3849880)
