✦ LIBER ✦

On some new intuitionistic propositional connectives. I

✍ Scribed by Dov M. Gabbay

Publisher: Springer Netherlands
Year: 1977
Tongue: English
Weight: 648 KB
Volume: 36
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02121119

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On some non-classical extensions of seco

On some non-classical extensions of second-order intuitionistic propositional calculus

✍ Andrej Ščedrov 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 386 KB

On the completeness of a new intuitionis

On the completeness of a new intuitionistic connective

✍ A. D. Yashin 📂 Article 📅 1996 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 440 KB

A modal calculus analogous toK4W, based

A modal calculus analogous toK4W, based on intuitionistic propositional logic, Iℴ

✍ Aldo Ursini 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 751 KB

This paper treats a kind of a modal logic based on the intuitionistic propositional logic which arose from the "provability" predicate in the first order arithmetic. The semantics of this calculus is presented in both a relational and an algebraic way. Completeness theorems, existence of a characte

Some remarks on the concept of completen

Some remarks on the concept of completeness of the propositional calculus. I

✍ W. A. Pogorzelski 📂 Article 📅 1968 🏛 Springer Netherlands 🌐 English ⚖ 206 KB

Connections on Lagrangian submanifolds a

Connections on Lagrangian submanifolds and some quasiclassical approximation problems. I

✍ M. V. Karasev 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 682 KB

On some new statistical characteristics

On some new statistical characteristics of the wind “Koshava”

✍ M. Unkašević; J. Mališić; I. Tošić 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 734 KB