✦ LIBER ✦

A result on the completeness of superintuitionistic logics

✍ Scribed by A. Yu. Muravitskii

Publisher: SP MAIK Nauka/Interperiodica
Year: 1984
Tongue: English
Weight: 598 KB
Volume: 36
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf01139938

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finite axiomatizability of locally tabul

Finite axiomatizability of locally tabular superintuitionistic logics

✍ A. I. Tsitkin 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 310 KB

Comparison of the topological and relati

Comparison of the topological and relational semantics of superintuitionistic logics

✍ A. Yu. Muravitskii 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 941 KB

Syntactical results on the arithmetical

Syntactical results on the arithmetical completeness of modal logic

✍ Paolo Gentilini 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 801 KB

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

Superintuitionistic logics approximated

Superintuitionistic logics approximated by algebras with the descending chain condition

✍ A. Yu. Muravitskii 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 155 KB

Continuality of the set of maximal super

Continuality of the set of maximal superintuitionistic logics with the disjunction property

✍ A. V. Chagrov 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 408 KB