First-order logic without bound variables: compositional semantics

DOI10.1007/978-3-319-11041-7_16MaRDI QIDQ5213619zbMATH OpenOpenAlexWikidataFDO

Authors W. W. Tait

Publication date 4 February 2020

Published in Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11041-7_16

zbMATH Keywords

normal formsemanticsreductioncompositionalitytypecombinatorCurryexplicit definitionSchönfinkel

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 859787
• Classical combinatory logic
• scientific article; zbMATH DE number 4037808
• Combinators and categorial grammar
• A first-order logic with no logical constants

Cites work

• scientific article; zbMATH DE number 3142086 (Why is no real title available?)
• scientific article; zbMATH DE number 3068529 (Why is no real title available?)
• Combinatory logic. With two sections by William Craig.
• Intensional interpretations of functionals of finite type I
• The Calculi of Lambda Conversion. (AM-6)

Cited in

(3)

• scientific article; zbMATH DE number 4037808 (Why is no real title available?)
• Single-domain free logic and the problem of compositionality
• Semantics Out of Context

This page was built for publication: First-order logic without bound variables: compositional semantics

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