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 条
12345