✦ LIBER ✦

Substitutionless predicate logic with identity

✍ Scribed by Monk, Donald

Publisher: Springer-Verlag
Year: 1965
Weight: 924 KB
Volume: 7
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf01969435

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A simplified formalization of predicate

A simplified formalization of predicate logic with identity

✍ Tarski, Alfred 📂 Article 📅 1964 🏛 Springer-Verlag ⚖ 979 KB

Normal predicative logics with graded mo

Normal predicative logics with graded modalities

✍ Francesco Caro 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 571 KB

Order-sorted logic programming with pred

Order-sorted logic programming with predicate hierarchy

✍ Ken Kaneiwa 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 400 KB

Predicate provability logic with non-mod

Predicate provability logic with non-modalized quantifiers

✍ Giorgie Dzhaparidze 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 585 KB

Semantics for relevance logic with ident

Semantics for relevance logic with identity

✍ Edwin D. Mares 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 891 KB

Models are constructed for a variety of systems of quantified relevance logic with identity. Models are given for systems with different principles governing the transitivity of identity and substitution, and the relative merits of these principles are discussed. The models in this paper are all ext

A non-compactness phenomenon in logics w

A non-compactness phenomenon in logics with hyperintensional predication

✍ Cinzia Bonotto; Alberto Zanardo 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 846 KB