𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Syntactical results on the arithmetical completeness of modal logic

✍ Scribed by Paolo Gentilini

Publisher
Springer Netherlands
Year
1993
Tongue
English
Weight
801 KB
Volume
52
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The completeness of monotonic modal logi
The completeness of monotonic modal logics
✍ Brian F. Chellas; Audrey McKinney πŸ“‚ Article πŸ“… 1975 πŸ› John Wiley and Sons 🌐 English βš– 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th

Arithmetic complexity of the predicate l
Arithmetic complexity of the predicate logics of certain complete arithmetic theories
✍ Valery Plisko πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 137 KB

It is proved in this paper that the predicate logic of each complete constructive arithmetic theory T having the existential property is T 1 -complete. In this connection, the techniques of a uniform partial truth deΓΏnition for intuitionistic arithmetic theories is used. The main theorem is applied