The logicality of equality

DOI10.1007/978-3-031-50981-0_7MaRDI QIDQ6612870zbMATH OpenFDO

Authors Andrzej Indrzejczak

Publication date 1 October 2024

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-50981-0_7

zbMATH Keywords

equalitysequent calculuslogical constants

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3125691 (Why is no real title available?)
• scientific article; zbMATH DE number 3125693 (Why is no real title available?)
• scientific article; zbMATH DE number 3172714 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 3559512 (Why is no real title available?)
• scientific article; zbMATH DE number 1237866 (Why is no real title available?)
• scientific article; zbMATH DE number 709086 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3236049 (Why is no real title available?)
• scientific article; zbMATH DE number 3254863 (Why is no real title available?)
• scientific article; zbMATH DE number 3271461 (Why is no real title available?)
• A novel approach to equality
• Adding equality to semantic tableaux
• An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem
• Basic logic: reflection, symmetry, visibility
• Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
• Cut-free modal theory of definite descriptions
• Double-line harmony in a sequent setting
• Equality reasoning in sequent-based calculi
• Fregean Description Theory in Proof-Theoretical Setting
• Gentzen calculi for modal propositional logic
• Harmonious rules for identity
• Harmony in a sequent setting
• Identity and harmony
• Identity, equality, nameability and completeness
• Identity, variables, and impredicative definitions
• Internalization: The case of hybrid logics
• Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition.
• Logical constants as punctuation marks
• Methods of cut-elimination
• On the rules of suppositions in formal logic
• Open Problems in Proof-Theoretic Semantics
• Popper's theory of deductive inference and the concept of a logical constant
• Proof Analysis
• Proof and falsity. A logical investigation
• Proof theory. 2nd ed
• Remarks on descriptions and natural deduction
• Rule-Generation Theorem and its Applications
• Rules and Derived Rules
• Rules for subatomic derivation
• Sequent-systems for modal logic
• Structural proof theory. With an appendix by Aarne Ranta
• Tautology elimination, cut elimination, and S5
• The harmony of identity
• Towards a Proof-Theoretic Semantics of Equalities
• Tractatus logico-philosophicus. With an introduction by B. Russell.
• What is Logic?
• Über Axiomensysteme für beliebige Satzsysteme.

Cited in

(2)

• Qualified definiteness
• Incomplete descriptions and qualified definiteness

This page was built for publication: The logicality of equality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612870)