Classical harmony: Rules of inference and the meaning of the logical constants

DOI10.1007/BF01063921zbMath0810.03002MaRDI QIDQ1340989

Peter Milne

Publication date: 20 April 1995

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

natural deductionclassical logicharmony of rules of inferencemeaning of a logical constant

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05)

Related Items (6)

Proof-theoretic semantics, a problem with negation and prospects for modality ⋮ Natural deduction for bi-intuitionistic logic ⋮ Bilateral Rules as Complex Rules ⋮ Harmony in multiple-conclusion natural-deduction ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ Single-assumption systems in proof-theoretic semantics

Uses Software

• PLINK

Cites Work

• The enumeration of four-dimensional polytopes
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Classical harmony: Rules of inference and the meaning of the logical constants