The independence of connectives
From MaRDI portal
Publication:5513757
DOI10.2307/2964550zbMath0139.00601OpenAlexW2061476524MaRDI 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 (17)
On some mistaken beliefs about core logic and some mistaken core beliefs about logic ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ Algebraic study of two deductive systems of relevance logic ⋮ 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 ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Replacement in logic ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ The deducibilities of S5 ⋮ GP’s LP ⋮ Matrix approach in methodology of sentential calculi ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Supervenience, Dependence, Disjunction ⋮ Explicating logical independence ⋮ What is a non-truth-functional logic? ⋮ Zero-place operations and functional completeness, and the definition of new connectives
This page was built for publication: The independence of connectives
