✦ LIBER ✦

Positive logic and λ-constants

✍ Scribed by David Meredith

Publisher: Springer Netherlands
Year: 1978
Tongue: English
Weight: 808 KB
Volume: 37
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02124728

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

λ-Terms, logic, determiners and quantifi

λ-Terms, logic, determiners and quantifiers

✍ Fairouz Kamareddine 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 973 KB

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.

Polytime, combinatory logic and positive

Polytime, combinatory logic and positive safe induction

✍ Andrea Cantini 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 168 KB

What is a Logical Constant

✍ Peacocke, Christopher 📂 Fiction 📅 0 🌐 English ⚖ 2 MB

Full Models for Positive Modal Logic

✍ Ramon Jansana 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 267 KB

Coalgebraic Semantics for Positive Modal

Coalgebraic Semantics for Positive Modal Logic

✍ Alessandra Palmigiano 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 197 KB

Non Deterministic Classical Logic: The λ

Non Deterministic Classical Logic: The λμ++ -calculus

✍ Karim Nour 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB