Natural deduction, separation, and the meaning of logical operators
From MaRDI portal
Publication:1250207
DOI10.1007/BF00245930zbMath0387.03002MaRDI QIDQ1250207
Publication date: 1978
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)
Related Items (7)
The enduring scandal of deduction. Is propositional logic really uninformative? ⋮ A modal view on resource-bounded propositional logics ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Classical harmony and separability ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ A definitive probabilistic semantics for first-order logic ⋮ The revival of rejective negation
This page was built for publication: Natural deduction, separation, and the meaning of logical operators
