✦ LIBER ✦

Extension of the inverse method to the predicate calculus with equality

✍ Scribed by S. Yu. Maslov

Publisher: Springer US
Year: 1972
Tongue: English
Weight: 811 KB
Volume: 1
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01117469

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extension of the inverse method to axiom

Extension of the inverse method to axiomatic theories with equality

✍ A. Yu. Plyushkevichene 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 488 KB

The Calculus of Partial Predicates and I

The Calculus of Partial Predicates and Its Extension to Set Theory I

✍ Hao Wang 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 368 KB 👁 1 views

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

An extension of the inverse sensitivity

An extension of the inverse sensitivity method to systems with repeated eigenvalues

✍ L. Pešek 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 460 KB

The inverse sensitivity method for parametric correction in cases when mechanical structures are described by analytical conservative mechanical models with repeated eigenvalues is investigated. A new procedure is proposed for extending the inverse sensitivity method to these systems. This is based

A Formalisation of the Propositional Cal

A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates

✍ Alan Rose 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 646 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