The logicality of equality
From MaRDI portal
Publication:6612870
DOI10.1007/978-3-031-50981-0_7MaRDI QIDQ6612870
Publication date: 1 October 2024
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logical constants as punctuation marks
- Methods of cut-elimination
- Gentzen calculi for modal propositional logic
- Proof theory. 2nd ed
- Adding equality to semantic tableaux
- Über Axiomensysteme für beliebige Satzsysteme.
- On the rules of suppositions in formal logic
- The harmony of identity
- Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition.
- Internalization: The Case of Hybrid Logics
- HARMONIOUS RULES FOR IDENTITY
- RULES FOR SUBATOMIC DERIVATION
- Proof Analysis
- Proof and Falsity
- What is Logic?
- Identity, variables, and impredicative definitions
- Remarks on descriptions and natural deduction
- Popper's theory of deductive inference and the concept of a logical constant
- Rules and Derived Rules
- Basic logic: reflection, symmetry, visibility
- Tautology Elimination, Cut Elimination, and S5
- Identity, Equality, Nameability and Completeness
- Harmony in a sequent setting
- Identity and harmony
- Sequent-systems for modal logic
- Fregean Description Theory in Proof-Theoretical Setting
- An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem
- Rule-Generation Theorem and its Applications
- Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
- Towards a Proof-Theoretic Semantics of Equalities
- Open Problems in Proof-Theoretic Semantics
- Tractatus logico-philosophicus. With an introduction by B. Russell.
- A novel approach to equality
This page was built for publication: The logicality of equality
