What is a Classical Connective?
From MaRDI portal
Publication:4152521
DOI10.1002/malq.19780240106zbMath0374.02016OpenAlexW2033932269MaRDI QIDQ4152521
Publication date: 1978
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19780240106
Classical propositional logic (03B05) General logic (03B99) Proof theory and constructive mathematics (03F99)
Related Items (4)
What is a relevant connective? ⋮ Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ On Kreisel's notion of validity in Post systems ⋮ The revival of rejective negation
This page was built for publication: What is a Classical Connective?
