✦ LIBER ✦

Axiomatising the Prior Future in Predicate Logic

✍ Scribed by Max Cresswell

Book ID: 120950766
Publisher: SP Birkhäuser Verlag Basel
Year: 2012
Tongue: English
Weight: 241 KB
Volume: 7
Category: Article
ISSN: 1661-8297
DOI: 10.1007/s11787-012-0073-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Notion of Logical Consequence in the

The Notion of Logical Consequence in the Logic of Inexact Predicates

✍ John P. Cleave 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 902 KB

The Axiom of Choice in Second-Order Pred

The Axiom of Choice in Second-Order Predicate Logic

✍ Christine Gaßner 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 586 KB

## Abstract The present article deals with the power of the axiom of choice (AC) within the second‐order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in

Unification of the predicate line in the

Unification of the predicate line in the logic-syntactic recognition of raster images

✍ R. K. Fedorov; A. O. Shigarov 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 285 KB

The consistency of the axiom of comprehe

The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz

✍ Richard B. White 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 879 KB

The Tense Logic for Master Argument in P

The Tense Logic for Master Argument in Prior’s Reconstruction

✍ Tomasz Jarmużek; Andrzej Pietruszczak 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 519 KB

Prenex Normal Form in the Modal Predicat

Prenex Normal Form in the Modal Predicate Logic PS*S and the Grosseteste Algebra of Sets GS*S

✍ Robert L. Wilson 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 512 KB