A relational semantics for the logic of bounded lattices.

Autor:	González, Luciano J.
Jazyk:	angličtina
Předmět:	matematika mathematics články journal articles relational semantics logic of bounded lattice polarity two-sorted frame
Druh dokumentu:	Non-fiction
ISSN:	0862-7959
Abstrakt:	Abstract: 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:	Katalog Knihovny AV ČR
Externí odkaz:	Plný text