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 | Philosophy Logic Mathematical Logic and Foundations Computational Linguistics |
Categories | (categorize this paper) |
DOI | 10.1023/A:1005003904639 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Does the Deduction Theorem Fail for Modal Logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
A Proof-Theoretic Investigation of a Logic of Positions.Stefano Baratella & Andrea Masini - 2003 - Annals of Pure and Applied Logic 123 (1-3):135-162.
View all 9 citations / Add more citations
Similar books and articles
Labelled Resolution for Classical and Non-Classical Logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - unknown
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
Labelled Modal Logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Analytics
Added to PP index
2009-01-28
Total views
58 ( #174,587 of 2,420,968 )
Recent downloads (6 months)
8 ( #87,968 of 2,420,968 )
2009-01-28
Total views
58 ( #174,587 of 2,420,968 )
Recent downloads (6 months)
8 ( #87,968 of 2,420,968 )
How can I increase my downloads?
Downloads