Studia Logica 60 (1):119-160 (1998)
|Abstract||We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and proof normalization. We have implemented our work in the Isabelle Logical Framework|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Greg Restall (1994). Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35 (1):116-129.
Luca Viganò (2000). Labelled Non-Classical Logics. Kluwer Academic Publishers.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. Studia Logica 64 (2):151-172.
Larisa Maksimova (2006). Definability and Interpolation in Non-Classical Logics. Studia Logica 82 (2):271 - 291.
Dov M. Gabbay & Nicola Olivetti (1998). Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61 (2):237-280.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Ewa Orlowska (1992). Relational Proof System for Relevant Logics. Journal of Symbolic Logic 57 (4):1425-1440.
D. M. Gabbay & U. Reyle (1997). Labelled Resolution for Classical and Non-Classical Logics. Studia Logica 59 (2):179-216.
David Basin, Seán Matthews & Luca Viganò (1998). Labelled Modal Logics: Quantifiers. Journal of Logic, Language and Information 7 (3):237-263.
Added to index2009-01-28
Total downloads8 ( #124,608 of 556,896 )
Recent downloads (6 months)1 ( #64,931 of 556,896 )
How can I increase my downloads?