A relational semantics for the logic of bounded lattices
| Autor: | Luciano J. González |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: | |
| Zdroj: | Mathematica Bohemica, Vol 144, Iss 3, Pp 225-240 (2019) |
| Druh dokumentu: | article |
| ISSN: | 0862-7959 2464-7136 |
| DOI: | 10.21136/MB.2018.0126-17 |
| Popis: | This paper aims to propose a complete relational semantics for the so-called logic of bounded lattices, and prove a completeness theorem with regard to a class of two-sorted frames that is dually equivalent (categorically) to the variety of bounded lattices. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|