HARMONISING HARMONY
From MaRDI portal
Recommendations
Cites work
- A natural extension of natural deduction
- A note on harmony
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
- Commuting conversions vs. the standard conversions of the ``good connectives
- General-elimination harmony and the meaning of the logical constants
- Generalized definitional reflection and the inversion principle
- scientific article; zbMATH DE number 3112788 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3348059 (Why is no real title available?)
- Identity of Proofs Based on Normalization and Generality
- Normalization theorems for full first order classical natural deduction
- On Inversion Principles
- Proof and Paradox
Cited in
(21)- On the equivalence conjecture for proof-theoretic harmony
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- The harmony of identity
- Proof, meaning and paradox: some remarks
- Proof-theoretic harmony: towards an intensional account
- Relevant harmony
- Harmonious rules for identity
- scientific article; zbMATH DE number 5902347 (Why is no real title available?)
- Peano's Counterexample to Harmony
- Harmonious Extensions
- A note on harmony
- Harmony in a sequent setting: a reply to Tennant
- Harmony in a sequent setting
- Not so stable
- scientific article; zbMATH DE number 1391705 (Why is no real title available?)
- General-elimination harmony and higher-level rules
- Double-line harmony in a sequent setting
- Weak disharmony: some lessons for proof-theoretic semantics
- Bilateral Rules as Complex Rules
- Problems of a proof-theoretic characterization of paradoxes
- Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
This page was built for publication: HARMONISING HARMONY
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3195584)
