✦ LIBER ✦

Parallel Theories and Routine Revision in First-Order Logic

✍ Scribed by Gerold Stahl

Publisher: John Wiley and Sons
Year: 1987
Tongue: English
Weight: 203 KB
Volume: 33
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19870330510

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Universal First-Order Definability in Mo

Universal First-Order Definability in Modal Logic

✍ R. E. Jennings; D. K. Johnston; P. K. Schotch 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs

A Note on Cut Elimination and Completene

A Note on Cut Elimination and Completeness in First Order Theories

✍ Kenneth A. Bowen 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 258 KB 👁 1 views

A Note on the Compactness Theorem in Fir

A Note on the Compactness Theorem in First Order Logic

✍ George Weaver 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 223 KB 👁 1 views

A Note on the Interpolation Theorem in F

A Note on the Interpolation Theorem in First Order Logic

✍ George Weaver 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 289 KB 👁 1 views

Theories for mutagenicity: a study in fi

Theories for mutagenicity: a study in first-order and feature-based induction

✍ A. Srinivasan; S.H. Muggieton; M.J.E. Sternberg; R.D. King 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 90 KB

We consider what tagging models are most appropriate as front ends for probabilistic context-free grammar parsers. In particular, we ask if using a "multiple tagger", a tagger that returns more than one tag, improves parsing performance. Our conclusion is somewhat surprising: single-tag Markov-mode

Uncertain fuzzy values still in the fram

Uncertain fuzzy values still in the framework of first-order logic

✍ O. Pons; J. C. Cubero; A. Gonzalez; M. A. Vila 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 106 KB 👁 2 views

In this article, we first summarize the more important aspects of a fuzzy logic relational database and show how a fuzzy relational database can be represented and handled using first-order logic. Given that the results obtained for fuzzy databases are satisfactory, we then tackle the problem of unc