Abstract | ||
---|---|---|
A modal extension of multilattice logic, called modal multilattice logic, is introduced as a Gentzen-type sequent calculus \(\hbox {MML}_n\). Theorems for embedding \(\hbox {MML}_n\) into a Gentzen-type sequent calculus S4C (an extended S4-modal logic) and vice versa are proved. The cut-elimination theorem for \(\hbox {MML}_n\) is shown. A Kripke semantics for \(\hbox {MML}_n\) is introduced, and the completeness theorem with respect to this semantics is proved. Moreover, the duality principle is proved as a characteristic property of \(\hbox {MML}_n\). |
Year | DOI | Venue |
---|---|---|
2017 | 10.1007/s11787-017-0172-5 | Logica Universalis |
Keywords | DocType | Volume |
Multilattice logic, modal logic, embedding theorem, completeness theorem, sequent calculus, duality, Primary 03B45, Secondary 03B53 | Journal | 11 |
Issue | ISSN | Citations |
3 | 1661-8297 | 1 |
PageRank | References | Authors |
0.37 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Norihiro Kamide | 1 | 300 | 51.71 |
Yaroslav Shramko | 2 | 1 | 1.05 |