✦ LIBER ✦

On finite linear intermediate predicate logics

✍ Scribed by Hiroakira Ono

Publisher: Springer Netherlands
Year: 1988
Tongue: English
Weight: 504 KB
Volume: 47
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00671568

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the predicate logics of finite Kripke

On the predicate logics of finite Kripke frames

✍ D. Skvortsov 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 544 KB

About finite predicate logic

✍ Herman Dishkant 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 636 KB

We say that an n-argument predicate P ~ .O n is finite, if P is a finite set. Note that the set of individuals .O is infinite! Finite predicates are useful in data bases and in finite mathematics. The logic DBL proposed here operates on finite predicates only. Y~re construct an imbedding for DBJb in

On finite approximability of ψ-intermedi

On finite approximability of ψ-intermediate logics

✍ Wiesław Dziobiak 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 432 KB

Finite axiomatization for some intermedi

Finite axiomatization for some intermediate logics

✍ I. Janioka-Żuk 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 429 KB

On detecting logical predicates

✍ V. F. Van Neste 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 379 KB

Finite games for a predicate logic witho

Finite games for a predicate logic without contractions

✍ Daniel Mey 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 603 KB