✦ LIBER ✦

New Foundations for Logic

✍ Scribed by K. R. Popper

Book ID: 124824997
Publisher: Oxford University Press
Year: 1947
Tongue: English
Weight: 963 KB
Volume: 56
Category: Article
ISSN: 0026-4423
DOI: 10.2307/2250555

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

New Foundations For Logic

✍ Popper, Karl 📂 Fiction 📅 0 🌐 English ⚖ 1004 KB

New Foundations for Rewriting Logic

✍ Hendrik Hilberdink 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 284 KB

This paper presents an abstract treatment of the foundations of rewriting logic, generalising in three ways: an arbitrary 2-category plays the role of the specific 2-category Cat; the foundations are rendered fully independent of the underlying equational logic; and the semantics covers non-conventi

New Foundations for Imperative Logic: Pu

New Foundations for Imperative Logic: Pure Imperative Inference

✍ Vranas, P. B. M. 📂 Article 📅 2011 🏛 Oxford University Press 🌐 English ⚖ 488 KB

Corrections and Additions to "New Founda

Corrections and Additions to "New Foundations for Logic"

✍ K. R. Popper 📂 Article 📅 1948 🏛 Oxford University Press 🌐 English ⚖ 248 KB

New Foundations for Imperative Logic I:

New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers

✍ Peter B. M. Vranas 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 301 KB

Probabilistic Foundations for Operator L

Probabilistic Foundations for Operator Logic

✍ Slater, B H 📂 Fiction 📅 0 🌐 English ⚖ 255 KB