✦ LIBER ✦

Definability of classes of graphs in the first order predicate calculus with identity

✍ Scribed by L. Koncewicz

Publisher: Springer Netherlands
Year: 1974
Tongue: English
Weight: 17 KB
Volume: 33
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02120874

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structural completeness of the first-ord

Structural completeness of the first-order predicate calculus

✍ W. A. Pogorzelski; T. Prucnal 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 427 KB

1. The problem of structural conipleteness of a logical system is formulated as the qiicstion about derivability in this system of all permissible and structural rules (cf. [lo]).

A probabilistic machine for the estimati

A probabilistic machine for the estimation of provability in the first order predicate calculus

✍ S. C. van Westrhenen 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 360 KB

Reduction of the decision problem of the

Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates

✍ J. Surányi 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 399 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

Mechanical theorem proving in a certain

Mechanical theorem proving in a certain class of formulae of the predicate calculus

✍ Ewa Orłowska 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 453 KB

A didactical approach to the zero-one de

A didactical approach to the zero-one decision procedure of the expressions of the first order monadic predicate calculus

✍ L. Borkowski 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 24 KB