Journal of Logic, Language and Information 15 (3):179-194 (2006)
|Abstract||In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.|
|Keywords||Hybrid logic Modal logic Intuitionistic logic Constructive logic Strong negation Paraconsistent logic Axiom systems|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
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.
Brian Weatherson (2003). From Classical to Intuitionistic Probability. Notre Dame Journal of Formal Logic 44 (2):111-123.
Greg Restall (1997). Combining Possibilities and Negations. Studia Logica 59 (1):121-141.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Daniel Dzierzgowski (1995). Models of Intuitionistic TT and N. Journal of Symbolic Logic 60 (2):640-653.
Torben BraÜner (2005). Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14 (2):173-198.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Added to index2009-01-28
Total downloads11 ( #107,400 of 722,864 )
Recent downloads (6 months)1 ( #60,917 of 722,864 )
How can I increase my downloads?