✦ LIBER ✦

Logical quantizations of first-order structures

✍ Scribed by Hirokazu Nishimura

Publisher: Springer
Year: 1996
Tongue: English
Weight: 981 KB
Volume: 35
Category: Article
ISSN: 0020-7748
DOI: 10.1007/bf02082820

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

First Order Logics for Metric Structures

✍ Bernd I. Dahn 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 729 KB

FIRST ORDER LOGICS FOR METRIC STRUCTURES by BERND I. DAHN in Berlin (GDR)

Inclusive first-order logic

✍ Roch Ouellet 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 981 KB

Some first-order probability logics

✍ Zoran Ognjanovic; Miodrag Raškovic 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 172 KB

We present some ÿrst-order probability logics. The logics allow making statements such as P¿s , with the intended meaning "the probability of truthfulness of is greater than or equal to s". We describe the corresponding probability models. We give a sound and complete inÿnitary axiomatic system for

Equational treatment of first-order logi

Equational treatment of first-order logic

✍ J. Mycielski 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 578 KB

Top-down induction of first-order logica

Top-down induction of first-order logical decision trees

✍ Hendrik Blockeel; Luc De Raedt 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 895 KB

A first-order framework for top-down induction of logical decision trees is introduced. The expressivity of these trees is shown to be larger than that of the flat logic programs which are typically induced by classical ILP systems, and equal to that of first-order decision lists. These results are

Characterizing Second Order Logic with F

Characterizing Second Order Logic with First Order Quantifiers

✍ David Harel 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.