Categorial languages and variable-binding operators

DOI10.1007/BF02123611MaRDI QIDQ599044zbMATH OpenFDO

Authors Adam Nowaczyk

Publication date 1978

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02123611

zbMATH Keywords

categorial languagesinfinite order languagelambda abstractionquantifiersreducing operators to functorssemanticssyntax

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Combinatory logic and lambda calculus (03B40) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Cites work

• General semantics

Cited in

(3)

• Categorial grammars and their logics
• Categories of first-order quantifiers
• On the eliminability of ideal linguistic entities

This page was built for publication: Categorial languages and variable-binding operators

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