The independence of connectives
From MaRDI portal
Publication:5513757
DOI10.2307/2964550zbMath0139.00601MaRDI QIDQ5513757
Publication date: 1963
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964550
Related Items
For Want of an ‘And’: A Puzzle about Non-Conservative Extension, On a synonymy relation for extensional first order theories. I: A notion of synonymy, What is a non-truth-functional logic?, The deducibilities of S5, Matrix approach in methodology of sentential calculi, Algebraic study of Sette's maximal paraconsistent logic, Algebraic study of two deductive systems of relevance logic, Replacement in logic, On the closure properties of the class of full G-models of a deductive system, Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5, Zero-place operations and functional completeness, and the definition of new connectives