𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some independence results in interpretability logic

✍ Scribed by Vítězslav Švejdar

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
499 KB
Volume
50
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Explicit Fixed Points in Interpretabilit
Explicit Fixed Points in Interpretability Logic
✍ Dick Jongh; Albert Visser 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 496 KB

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryfiski.

ON SOME INTERPRETATIONS OF CLASSICAL LOG
ON SOME INTERPRETATIONS OF CLASSICAL LOGIC
✍ Branislav R. Boričić; B. R. Boričić 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

## Abstract In distinction from the well‐known double‐negation embeddings of the classical logic we consider some variants of single‐negation embeddings and describe some classes of superintuitionistic first‐order predicate logics in which the classical first‐order calculus is interpretable in such

Precise goal-independent abstract interp
Precise goal-independent abstract interpretation of constraint logic programs
✍ Peter Schachte 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 197 KB

We present a goal-independent abstract interpretation framework for constraint logic programs, and prove the su ciency of a set of conditions for abstract domains to ensure that the analysis will never lose precision. Along the way, we formally deÿne constraint logic programming systems, give a form