The following pages link to A note on harmony (Q452347):
Displaying 25 items.
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- Bilateralism in proof-theoretic semantics (Q484102) (← links)
- A logic inspired by natural language: quantifiers as subnectors (Q484201) (← links)
- On harmony and permuting conversions (Q518743) (← links)
- General-elimination stability (Q526738) (← links)
- General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
- A proof-theoretic universal property of determiners (Q893600) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- ON FLATTENING ELIMINATION RULES (Q2940866) (← links)
- BILATERAL RELEVANT LOGIC (Q2940874) (← links)
- HARMONISING HARMONY (Q3195584) (← links)
- Peano's Counterexample to Harmony (Q3305303) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
- Deriving Natural Deduction Rules from Truth Tables (Q5224496) (← links)
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (Q5259724) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)
- Proof Terms for Generalized Natural Deduction (Q6060674) (← links)
- Reading conclusions conjunctively (Q6655117) (← links)
- Harmony in the light of computational ludics (Q6657788) (← links)
