{\L}-Axiomatizability in intermediate and normal modal logics
Logic
2014-07-23 v1
Abstract
A set of formulas is complete relative to a given class of logics, if every logic from this class can be axiomatized by formulas from . A set of formulas is {\L}-complete relative to a given class of logics, if every logic of this class can be {\L}-axiomatized by formulas from , that is, every of these logics can be defined by an -deductive system with axioms and anti-axioms from and inference rules modus ponens, modus tollens, substitution and reverse substitution. We prove that every complete relative to (or ) set of formulas is {\L}-complete. In particular, every logic from (or ) can be {\L}-axiomatized by Zakharyaschev's canonical formulas.
Keywords
Cite
@article{arxiv.1407.5812,
title = {{\L}-Axiomatizability in intermediate and normal modal logics},
author = {Alex Citkin},
journal= {arXiv preprint arXiv:1407.5812},
year = {2014}
}