✦ LIBER ✦

On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes

✍ Scribed by Pierluigi Minari

Publisher: Springer Netherlands
Year: 1986
Tongue: English
Weight: 812 KB
Volume: 45
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf01881549

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

On the extension of classical propositio

On the extension of classical propositional logic by means of a triangular norm

✍ G. de Cooman; E. E. Kerre; B. Cappelle; Ruan Da; F. Vanmassenhove 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 682 KB

In this article, we introduce a generalized extension principle by substituting a more general triangular norm T for the min intersection operator in Zadeh's extension principle. We also introduce a family of propositional logics, sup-T extension logics, obtained by the extension of classical-logica