Zobrazeno 1 - 3
of 3
pro vyhledávání: '"logic of bounded lattice"'
Autor:
Luciano J. González
Publikováno v:
Mathematica Bohemica, Vol 144, Iss 3, Pp 225-240 (2019)
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 l
Externí odkaz:
https://doaj.org/article/af43a4c9e3904bc5b544944671d52032
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.