✦ LIBER ✦

The degrees of maximality of the intuitionistic propositional logic and of some of its fragments

✍ Scribed by Wiesław Dziobiak

Publisher: Springer Netherlands
Year: 1981
Tongue: English
Weight: 333 KB
Volume: 40
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf01874708

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Expressive Force of Some Fragments o

The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames

✍ P. H. Rodenburg 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 323 KB 👁 1 views

A reduction of classical propositional l

A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic

✍ Kosta Došen 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 360 KB

The Separation Theorem for Fragments of

The Separation Theorem for Fragments of the Intuitionistic Propositional Calculus

✍ G. Rousseau 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 325 KB 👁 1 views

Cardinalities of proper ideals in some l

Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

✍ Wiesław Dziobiak 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 402 KB

On the polynomial-space completeness of

On the polynomial-space completeness of intuitionistic propositional logic

✍ Vítezslav Švejdar 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 140 KB

The method of axiomatic rejection for th

The method of axiomatic rejection for the intuitionistic propositional logic

✍ Rafal Dutkiewicz 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 580 KB

We prove that the intuitionistic sentential calculus is L-decidable (decidable in the sense of Lukasiewicz), i.e. the sets of theses of Int and of rejected formulas are disjoint and their union is equal to all formulas. A formula is rejected iff it is a sentential variable or is obtained from other