✦ LIBER ✦

Unification of the predicate line in the logic-syntactic recognition of raster images

✍ Scribed by R. K. Fedorov; A. O. Shigarov

Book ID: 110209758
Publisher: SP MAIK Nauka/Interperiodica
Year: 2011
Tongue: English
Weight: 285 KB
Volume: 21
Category: Article
ISSN: 1054-6618
DOI: 10.1134/s1054661811020313

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algorithm A* in logical-structure recogn

Algorithm A* in logical-structure recognition of objects on raster images

✍ Fedorov, R. K.; Shigarov, A. O.; Ruzhnikov, G. M. 📂 Article 📅 2013 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 581 KB

The Notion of Logical Consequence in the

The Notion of Logical Consequence in the Logic of Inexact Predicates

✍ John P. Cleave 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 902 KB

The Axiom of Choice in Second-Order Pred

The Axiom of Choice in Second-Order Predicate Logic

✍ Christine Gaßner 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 586 KB

## Abstract The present article deals with the power of the axiom of choice (AC) within the second‐order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in

The undecidability of unification in thi

The undecidability of unification in third order logic

✍ Gerard P. Huet 📂 Article 📅 1973 🏛 Elsevier Science ⚖ 409 KB

The role of syntactic context in word re

The role of syntactic context in word recognition

✍ George O. Goodman; James L. McClelland; Raymond W. Gibbs. 📂 Article 📅 1981 🏛 Psychonomic Society Publications 🌐 English ⚖ 855 KB

The consistency of the axiom of comprehe

The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz

✍ Richard B. White 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 879 KB