Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework |
| |
Authors: | Chrysafis Hartonas |
| |
Institution: | 1.Computer Science and Engineering,University of Applied Sciences of Thessaly (TEI of Thessaly),Larissa,Greece |
| |
Abstract: | The contribution of this paper lies with providing a systematically specified and intuitive interpretation pattern and delineating a class of relational structures (frames) and models providing a natural interpretation of logical operators on an underlying propositional calculus of Positive Lattice Logic (the logic of bounded lattices) and subsequently proving a generic completeness theorem for the related class of logics, sometimes collectively referred to as (non-distributive) Generalized Galois Logics (GGL’s). |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|