✦ LIBER ✦

An Algebraic Approach to Intuitionistic Connectives

✍ Scribed by Xavier Caicedo and Roberto Cignoli

Book ID: 124978631
Publisher: Association for Symbolic Logic
Year: 2001
Tongue: English
Weight: 386 KB
Volume: 66
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2694965

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algebraic approach to intuitionistic

An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics

✍ Nobu-Yuki Suzuki 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 650 KB

An algebraic approach to subframe logics

An algebraic approach to subframe logics. Intuitionistic case

✍ Guram Bezhanishvili; Silvio Ghilardi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 365 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

Boolean connection algebras: A new appro

Boolean connection algebras: A new approach to the Region-Connection Calculus

✍ J.G. Stell 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 221 KB

An algebraic approach to the residues in

An algebraic approach to the residues in algebraic geometry

✍ Zhongming Tang 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 French ⚖ 422 KB

An algebraic approach to discrete mechan

An algebraic approach to discrete mechanics

✍ John C. Baez; James W. Gilliam 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 359 KB