Classical logic without bivalence
From MaRDI portal
Publication:4648470
DOI10.1093/analys/anp003zbMath1284.03089OpenAlexW1968189788MaRDI QIDQ4648470
Publication date: 9 November 2012
Published in: Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/analys/anp003
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (7)
An expressivist bilateral meaning-is-use analysis of classical propositional logic ⋮ Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic ⋮ Bilateral Rules as Complex Rules ⋮ On Dummett's verificationist justification procedure ⋮ Failure of completeness in proof-theoretic semantics ⋮ Hypothesis-Discharging Rules in Atomic Bases ⋮ Normality, non-contamination and logical depth in classical natural deduction
This page was built for publication: Classical logic without bivalence
