Classical logic without bivalence

DOI10.1093/ANALYS/ANP003MaRDI QIDQ4648470zbMATH OpenOpenAlexFDO

Authors Tor Sandqvist

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

zbMATH Keywords

meaning theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Classical harmony: Rules of inference and the meaning of the logical constants
• Publication:3033737
• Classical harmony and separability
• Rethinking bivalence
• Entailment and bivalence

Cited in

(27)

• Entailment and bivalence
• Normality, non-contamination and logical depth in classical natural deduction
• Failure of completeness in proof-theoretic semantics
• Classical logic is not uniquely characterizable
• An expressivist bilateral meaning-is-use analysis of classical propositional logic
• scientific article; zbMATH DE number 4132129 (Why is no real title available?)
• scientific article; zbMATH DE number 30929 (Why is no real title available?)
• Bilateralist detours: from intuitionist to classical logic and back
• On Dummett's verificationist justification procedure
• On an inferential semantics for classical logic
• Hypothesis-discharging rules in atomic bases
• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Bilateral Rules as Complex Rules
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• A Pragmatic-Semiotic Defence of Bivalence
• On Dummett's pragmatist justification procedure
• Inferentialist resource semantics
• A sequent calculus perspective on base-extension semantics
• Base-extension semantics for S5 modal logic
• Base-extension semantics for modal logic
• On an inferential semantics for intuitionistic sentential logic
• Proof-theoretic semantics for first-order logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Classical logic, uniformity, and weak excluded middle in non-monotonic proof-theoretic semantics
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
• A proof-theoretic approach to the semantics of classical linear logic
• Rethinking bivalence

This page was built for publication: Classical logic without bivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4648470)