Towards a Proof-Theoretic Semantics of Equalities

DOI10.1007/978-3-319-22686-6_9MaRDI QIDQ5864202zbMATH OpenOpenAlexFDO

Authors Reinhard Kahle

Publication date 3 June 2022

Published in Advances in Proof-Theoretic Semantics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-22686-6_9

zbMATH Keywords

equalityFregemode of presentationproof-theoretic semanticssinn und bedeutung

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07) Intuitionistic mathematics (03F55)

Recommendations

• What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
• The granularity of meaning in proof-theoretic semantics
• The undecidability of proof search when equality is a logical connective
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Views of proof-theoretic semantics: reified proof-theoretic meanings

Cited in

(14)

• Adding equality to semantic tableaux
• On elementary equivalence for equality-free logic
• Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification
• A finitely axiomatized formalization of predicate calculus with equality
• The calculus of natural calculation
• The undecidability of proof search when equality is a logical connective
• The intensional structure of epistemic convictions
• scientific article; zbMATH DE number 3945373 (Why is no real title available?)
• scientific article; zbMATH DE number 67458 (Why is no real title available?)
• Equivalence of well-founded and stable semantics
• scientific article; zbMATH DE number 1950261 (Why is no real title available?)
• iProver-Eq: An Instantiation-Based Theorem Prover with Equality
• The logicality of equality
• Proving semantical equivalence of data specifications

This page was built for publication: Towards a Proof-Theoretic Semantics of Equalities

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