Kripke-style semantics of orthomodular logics

被引：0
|
作者：
Miyazaki, Y [1 ]
机构：
[1] Japan Adv Inst Sci & Technol, Computat Log Lab, Tatsunokuchi, Ishikawa 9231292, Japan
来源：
MATHEMATICAL LOGIC QUARTERLY | 2001年 / 47卷 / 03期
关键词：
orthomodular logic; orthmodular lattice; Kripke-style semantics;
D O I：
10.1002/1521-3870(200108)47:3<341::AID-MALQ341>3.0.CO;2-4
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We present here a Kripke-style semantics for propositional orthomodular logics that is based on the representation theorem for orthomodular lattices by D. J. Foulis ([2]), in which a sort of sernigroups is employed. This semantics can characterize the logics above the orthomodular logic by some elementary conditions.
引用
收藏
页码：341 / 362
页数：22
相关论文
共 50 条
  • [41] Kripke Semantics for Intersection Formulas
    Dudenhefner, Andrej
    Urzyczyn, Pawel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (03)
  • [42] (Involutive) Basic Substructural Fuzzy Logics and Urquhart-style Semantics
    Yang, Eunsuk
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2023, 41 (1-2) : 187 - 207
  • [43] INCOMPLETENESS RESULTS IN KRIPKE SEMANTICS
    GHILARDI, S
    JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (02) : 517 - 538
  • [44] Simplified Kripke Semantics for K45-Like Godel Modal Logics and Its Axiomatic Extensions
    Oscar Rodriguez, Ricardo
    Tuyt, Olim Frits
    Esteva, Francesc
    Godo, Lluis
    STUDIA LOGICA, 2022, 110 (04) : 1081 - 1114
  • [45] Computable Kripke models and intermediate logics
    Ishihara, H
    Khoussainov, B
    Nerode, A
    INFORMATION AND COMPUTATION, 1998, 143 (02) : 205 - 230
  • [46] Kripke incomplete logics containing KTB
    Miyazaki Y.
    Studia Logica, 2007, 85 (3) : 303 - 317
  • [47] Linear Kripke frames and Godel logics
    Beckmann, Arnold
    Preining, Norbert
    JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (01) : 26 - 44
  • [48] Logics of Kripke meta-models
    Babenyshev, Sergey
    Rybakov, Vladimir
    LOGIC JOURNAL OF THE IGPL, 2010, 18 (06) : 823 - 836
  • [49] Kripke Bundle Semantics and C-set Semantics
    Isoda E.
    Studia Logica, 1997, 58 (3) : 395 - 401
  • [50] Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
    Ricardo Oscar Rodriguez
    Olim Frits Tuyt
    Francesc Esteva
    Lluís Godo
    Studia Logica, 2022, 110 : 1081 - 1114
12345