A novel approach to equality

DOI10.1007/S11229-020-03000-8zbMath1529.03267OpenAlexW3118507965MaRDI QIDQ6142508

Andrzej Indrzejczak

Publication date: 26 January 2024

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-020-03000-8

zbMATH Keywords

cut eliminationsequent calculusequalityproof-theoretic semanticslogical constants

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Provability multilattice logic

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
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames
• Advances in proof-theoretic semantics
• Logical constants as punctuation marks
• Gentzen calculi for modal propositional logic
• Adding equality to semantic tableaux
• Constructivism in mathematics. An introduction. Volume II
• On the rules of suppositions in formal logic
• First-order modal logic
• Direct proofs of Lindenbaum conditionals
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Simple cut elimination proof for hybrid logic
• Proof and Falsity
• What is Logic?
• Identity, variables, and impredicative definitions
• On Non-transitive “Identity”
• Basic logic: reflection, symmetry, visibility
• Identity, Equality, Nameability and Completeness
• Harmony in a sequent setting
• Identity and harmony
• THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
• Sequent-systems for modal logic
• Fregean Description Theory in Proof-Theoretical Setting
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem
• Interpreting descriptions in intensional type theory
• Rule-Generation Theorem and its Applications
• Categorical Harmony and Paradoxes in Proof-Theoretic Semantics

This page was built for publication: A novel approach to equality