General-elimination harmony and the meaning of the logical constants
From MaRDI portal
Publication:600850
Recommendations
Cites work
- A natural extension of natural deduction
- A note on harmony
- Gentzen's Proof of Normalization for Natural Deduction
- Harmony and autonomy in classical logic
- scientific article; zbMATH DE number 5902347 (Why is no real title available?)
- scientific article; zbMATH DE number 3115105 (Why is no real title available?)
- scientific article; zbMATH DE number 3630747 (Why is no real title available?)
- scientific article; zbMATH DE number 819916 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- Multiple conclusions
- Natural deduction with general elimination rules
- On Inversion Principles
- Structural proof theory. With an appendix by Aarne Ranta
Cited in
(58)- Harmony and autonomy in classical logic
- Anything goes
- Hopeful monsters: a note on multiple conclusions
- Classical harmony and separability
- Introducing identity
- Harmony in multiple-conclusion natural-deduction
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
- Proof, meaning and paradox: some remarks
- Steps towards a proof-theoretical semantics
- Proof-theoretic semantics, a problem with negation and prospects for modality
- Proof-theoretic harmony: towards an intensional account
- Harmony and the context of deducibility
- Inferring, splicing, and the Stoic analysis of argument
- \textit{Solvitur ambulando}. Meaning-constitutive principles and the inscrutability of inference
- On flattening elimination rules
- Bilateral relevant logic
- Harmonious rules for identity
- HARMONISING HARMONY
- Peano's Counterexample to Harmony
- Dialogues, reasons and endorsement
- A note on harmony
- Philosophical aspects of display logic
- PURE LOGIC OF ITERATED FULL GROUND
- Definite descriptions in intuitionist positive free logic
- Propositional logics complexity and the sub-formula property
- The problem of harmony in classical logic
- On harmony and permuting conversions
- Prawitz, Proofs, and Meaning
- Inversion principles and introduction rules
- General-elimination harmony and higher-level rules
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis
- Paradox and inconsistency: revising Tennant's distinction through Schroeder-Heister's assumption rules
- On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
- General-elimination stability
- Weak disharmony: some lessons for proof-theoretic semantics
- Harmonic inferentialism and the logic of identity
- Some Remarks on Proof-Theoretic Semantics
- A new connective in natural deduction, and its application to quantum computing
- A new connective in natural deduction, and its application to quantum computing
- Is there a neutral metalanguage?
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- Eight rules for implication elimination
- Paradoxes, intuitionism, and proof-theoretic semantics
- Reading conclusions conjunctively
- Bilateral inversion principles
- A quick overview on the quantum control approach to the lambda calculus
- Knot much like tonk
- Why should identity be logical??
- Indicative conditionals and intuitionistic
- Simple sequent systems for the modal logics K, D, T, and S4
- When rules define logical operators: rules as second-order definitions
- Inferential semantic contamination, harmony and realist pollution
- Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators
- Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
- Bilateral base-extension semantics
This page was built for publication: General-elimination harmony and the meaning of the logical constants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q600850)
