Classical harmony and separability

DOI10.1007/s10670-018-0032-6zbMath1475.03065OpenAlexW2887178165WikidataQ97541318 ScholiaQ97541318MaRDI QIDQ2055927

Julien Murzi

Publication date: 1 December 2021

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10670-018-0032-6

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Bilateral Rules as Complex Rules ⋮ Book review of: N. Kürbis, Proof and falsity: a logical investigation

Uses Software

• Pesca

Cites Work

• Why conclusions should remain single
• Classical harmony
• On the idea of a general proof theory
• Natural deduction, separation, and the meaning of logical operators
• Harmony and autonomy in classical logic
• Meaning approached via proofs
• What is Logic?
• On Inversion Principles
• A natural extension of natural deduction
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Rejection
• Harmony in a sequent setting: a reply to Tennant
• Harmony in a sequent setting
• Rejection and valuations
• Not so stable
• Inferentialism and the categoricity problem: reply to Raatikainen
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Classical harmony and separability