LK, LJ, Dual Intuitionistic Logic, and Quantum Logic
Notre Dame Journal of Formal Logic 45 (4):193-213 (2004)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesYaroslav Shramko (2005). Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. Studia Logica 80 (2-3):347 - 367.
David Ellerman (2010). The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. Review of Symbolic Logic 3 (2):287-350.
Lloyd Humberstone (2001). The Pleasures of Anticipation: Enriching Intuitionistic Logic. Journal of Philosophical Logic 30 (5):395-438.
Sonja Smets (2006). From Intuitionistic Logic to Dynamic Operational Quantum Logic. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Fan Yang (2013). Expressing Second-Order Sentences in Intuitionistic Dependence Logic. Studia Logica 101 (2):323-342.
Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini (1993). Fuzzy Intuitionistic Quantum Logics. Studia Logica 52 (3):419 - 442.
Bob Coecke (2002). Disjunctive Quantum Logic in Dynamic Perspective. Studia Logica 71 (1):47 - 56.
Satoko Titani, Heiji Kodera & Hiroshi Aoyama (2013). Systems of Quantum Logic. Studia Logica 101 (1):193-217.
Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59 (1):103-120.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Frank Wolter (1998). On Logics with Coimplication. Journal of Philosophical Logic 27 (4):353-387.
Igor Urbas (1996). Dual-Intuitionistic Logic. Notre Dame Journal of Formal Logic 37 (3):440-451.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
E. -W. Stachow (1976). Completeness of Quantum Logic. Journal of Philosophical Logic 5 (2):237 - 280.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads14 ( #83,010 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
