✦ LIBER ✦

λ-Terms, logic, determiners and quantifiers

✍ Scribed by Fairouz Kamareddine

Publisher: Springer Netherlands
Year: 1992
Tongue: English
Weight: 973 KB
Volume: 1
Category: Article
ISSN: 0925-8531
DOI: 10.1007/bf00203387

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper, a theory TH based on combining type freeness with logic is introduced and is then used to build a theory of properties which is applied to determiners and quantifiers.

📜 SIMILAR VOLUMES

Quantified Modal Logic With Rigid Terms

✍ Giovanna Corsi 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 511 KB

Pure Logic with Branched Quantifiers

✍ Marcin Mostowski 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 267 KB

Essentialism and Quantified Modal Logic

✍ Parsons, Terence 📂 Fiction 📅 0 🌐 English ⚖ 447 KB

Symmetric Propositions and Logical Quant

Symmetric Propositions and Logical Quantifiers

✍ R. Gregory Taylor 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 375 KB

Positive logic and λ-constants

✍ David Meredith 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 808 KB

Descriptions, essences and quantified mo

Descriptions, essences and quantified modal logic

✍ John Woods 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 929 KB