Judgmental and definitional equality from a Fregean perspective

DOI10.1007/978-3-031-52411-0_9MaRDI QIDQ7032562zbMATH OpenFDO

Authors Luca Tranchini, Alberto Naibo

Publication date 4 February 2025

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

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Cites work

• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• A natural extension of natural deduction
• Combinatory Reductions and Lambda Reductions Compared
• Constructions, proofs and the meaning of logical constants
• Eta-rules in Martin-Löf type theory
• Extensional constructs in intensional type theory
• Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet. I. Band.
• Harmony and paradox. Intensional aspects of proof-theoretic semantics
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 412149 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3790395 (Why is no real title available?)
• scientific article; zbMATH DE number 43055 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 3521951 (Why is no real title available?)
• scientific article; zbMATH DE number 1302061 (Why is no real title available?)
• scientific article; zbMATH DE number 510787 (Why is no real title available?)
• scientific article; zbMATH DE number 3204592 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3321196 (Why is no real title available?)
• scientific article; zbMATH DE number 3328152 (Why is no real title available?)
• scientific article; zbMATH DE number 3086346 (Why is no real title available?)
• Immanent reasoning or equality in action. A plaidoyer for the play level
• Intensional interpretations of functionals of finite type I
• On the strength of dependent products in the type theory of Martin-Löf
• Proof normalization modulo
• Russell's 1903 - 1905 Anticipation of the Lambda Calculus
• The Frege reader. Selected philosophical writings. Edited by Michael Beaney
• The Impact of the Lambda Calculus in Logic and Computer Science
• The justification of identity elimination in Martin-Löf's type theory
• THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
• Undecidability of equality in the free locally Cartesian closed category
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(1)

• Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators

This page was built for publication: Judgmental and definitional equality from a Fregean perspective

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