Categorial languages and variable-binding operators

DOI10.1007/BF02123611zbMath0414.03003MaRDI QIDQ599044

Adam Nowaczyk

Publication date: 1978

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

semanticsquantifierssyntaxcategorial languagesinfinite order languagelambda abstractionreducing operators to functors

Mathematics Subject Classification ID

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

Related Items (3)

Categorial Grammars and Their Logics ⋮ Categories of First-Order Quantifiers ⋮ On the eliminability of ideal linguistic entities

Cites Work

• General semantics

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