✦ LIBER ✦

An algebraic approach to subframe logics. Intuitionistic case

✍ Scribed by Guram Bezhanishvili; Silvio Ghilardi

Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 365 KB
Volume: 147
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2007.04.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

AN ALGEBRAIC APPROACH TO ELEMENTARY THEO

AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n-VALUED LUKASIEWICZ LOGICS

✍ Roberto Cignoli 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 580 KB

An application of Rieger-Nishimura formu

An application of Rieger-Nishimura formulas to the intuitionistic modal logics

✍ Dimiter Vakarelov 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 409 KB

An algebraic approach to chaos

✍ S. B. Niefield 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 996 KB

The aim of this paper is to study chaotic actions on objects other than metric spaces, e.g. locales and commutative rings. To do so, point-free versions of "topologically transitivity" and the "density of periodic points" are obtained for actions on a locale, and then generalized to a category which

Constructive approach to logics of physi

Constructive approach to logics of physical systems: Application to EPR case

✍ Jarosław Pykacz; Emilio Santos 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 936 KB

An algebraic approach to hybrid systems

✍ R.L. Grossman; R.G. Larson 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 774 KB

An Algebraic Approach to Shadowed Sets

✍ Gianpiero Cattaneo; Davide Ciucci 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 784 KB