When Iota meets lambda

DOI10.1007/S11229-023-04048-YMaRDI QIDQ6836502zbMATH OpenFDO

Authors Andrzej Indrzejczak, Michał Zawidzki

Publication date 27 March 2026

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-023-04048-Y

zbMATH Keywords

analytic tableauxcompletenessCraig interpolationdefinite descriptionslambda-abstraction

Mathematics Subject Classification ID

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

Cites work

• \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
• A binary quantifier for definite descriptions for cut free free logics
• A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
• A logical calculus with descriptions
• A modal logic -calculus
• A system of axiomatic set theory. I.
• An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions
• An introduction to mathematical logic and type theory: To truth through proof.
• Definite descriptions in intuitionist positive free logic
• First-order modal logic
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Free logics are cut-free
• Fregean Description Theory in Proof-Theoretical Setting
• Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet. I. Band.
• Grundlagen der Mathematik I
• scientific article; zbMATH DE number 3650529 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 3484001 (Why is no real title available?)
• scientific article; zbMATH DE number 3503198 (Why is no real title available?)
• scientific article; zbMATH DE number 3627123 (Why is no real title available?)
• scientific article; zbMATH DE number 612169 (Why is no real title available?)
• scientific article; zbMATH DE number 1064418 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 873140 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3402572 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• Incomplete symbols -- definite descriptions revisited
• Interpreting descriptions in intensional type theory
• Introduction to mathematical logic. Translated from the German by Diana Schmidt
• Labelled calculi for quantified modal logics with definite descriptions
• Modal logic for philosophers
• Principia Mathematica. Vol. I.
• Proof-theory and semantics for a theory of definite descriptions
• Remarks on descriptions and natural deduction
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• Tableaux for free logics with descriptions
• Two treatments of definite descriptions in intuitionist negative free logic

Cited in

(3)

• On a second-order version of Russellian theory of definite descriptions
• On temporal references via definite descriptions in first-order monadic logic of order
• Two cases of deduction with non-referring descriptions

This page was built for publication: When Iota meets lambda

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