✦ LIBER ✦

On the formulability of predicates on finite models

✍ Scribed by B. A. Romov

Publisher: Springer US
Year: 1973
Tongue: English
Weight: 139 KB
Volume: 7
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01070526

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

On finite linear intermediate predicate

On finite linear intermediate predicate logics

✍ Hiroakira Ono 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 504 KB

The question of definability in the simp

The question of definability in the simple predicate calculus on a finite model without equality

✍ V. P. Smolin 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 137 KB

On the realizations of predicate formula

On the realizations of predicate formulas

✍ M. M. Kipnis 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 384 KB

Sommers on the predicate ‘exists’

✍ George Englebretsen 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 213 KB

In a recent series of papers F. Sommers has presented a logical theory which, if generally understood by philosophers, could revolutionize our views on logic and ontology. 1 Nevertheless, Sommers' presentation is not completely flawless. I want to show here that he has an unacceptable view of existe

A finite element formulation for the inc

A finite element formulation for the incised human cornea based on a microstructural model

✍ Peter M. Pinsky; Deepak V. Datye; Tara Tabesh 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 116 KB