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

semantics; quantifiers; syntax; categorial languages; infinite order language; lambda abstraction; reducing operators to functors

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03A05: Philosophical and critical aspects of logic and foundations

68Q55: Semantics in the theory of computing

03B10: Classical first-order logic

03B40: Combinatory logic and lambda calculus

Related Items

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

Cites Work

• General semantics