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 条
  • [1] Algebraic Kripke-Style Semantics for Relevance Logics
    Yang, Eunsuk
    JOURNAL OF PHILOSOPHICAL LOGIC, 2014, 43 (04) : 803 - 826
  • [2] Algebraic Kripke-Style Semantics for Relevance Logics
    Eunsuk Yang
    Journal of Philosophical Logic, 2014, 43 : 803 - 826
  • [3] Kripke-style semantics for many-valued logics
    Montagna, F
    Sacchetti, L
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (06) : 629 - 641
  • [4] Pretabular Fuzzy Logics and Kripke-style Semantics: Nilpotent Minimum Logics
    Yang, Eunsuk
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2022, 38 (5-6) : 533 - 545
  • [5] A Kripke-style and relational semantics for logics based on Lukasiewicz algebras
    Iturrioz, L
    Orlowska, E
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2006, 12 (1-2) : 131 - 147
  • [6] Simplified Kripke-Style Semantics for Some Normal Modal Logics
    Andrzej Pietruszczak
    Mateusz Klonowski
    Yaroslav Petrukhin
    Studia Logica, 2020, 108 : 451 - 476
  • [7] Simplified Kripke-Style Semantics for Some Normal Modal Logics
    Pietruszczak, Andrzej
    Klonowski, Mateusz
    Petrukhin, Yaroslav
    STUDIA LOGICA, 2020, 108 (03) : 451 - 476
  • [8] A Kripke-style and relational semantics for logics based on Lukasiewicz algebras
    Université Claude Bernard, Lyon 1, France
    不详
    J. Mult.-Valued Logic Soft Comput., 2006, 1-2 (131-147):
  • [9] Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics
    Yang, Eunsuk
    STUDIA LOGICA, 2024, 112 (04) : 805 - 833
  • [10] Kripke-Style Models for Logics of Evidence and Truth
    Antunes, Henrique
    Carnielli, Walter
    Kapsner, Andreas
    Rodrigues, Abilio
    AXIOMS, 2020, 9 (03)
12345