-terms, logic, determiners and quantifiers

DOI10.1007/BF00203387zbMATH Open0793.03030MaRDI QIDQ1314293FDOQ1314293

Authors: Fairouz Kamareddine 

Publication date: 22 February 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

quantifiersdeterminersproperty theorytype-freeness

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

Cited In (3)

• A unified approach to type theory through a refined \(\lambda\)-calculus
• A two-storied universe of transfinite mechanisms
• A type free theory and collective/distributive predication

This page was built for publication: \(\lambda\)-terms, logic, determiners and quantifiers

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