First-order logic without bound variables: compositional semantics

DOI10.1007/978-3-319-11041-7_16zbMATH Open1429.03056OpenAlexW137867576WikidataQ126372055 ScholiaQ126372055MaRDI QIDQ5213619FDOQ5213619

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

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

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)

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)

• Title not available (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)