The De Morgan Negation on Bi-Approximation Semantics: the dual representation of unbounded ortholattices

Abstract

In this paper, we have established bi-approximation semantics for lattice-based logics with the De Morgan negation (unbounded orthologic), and their morphisms. In addition, we have discussed the dual representation between unbounded ortholattices with strict homomorphisms and polarity frames and d-morphisms. Apart from the abstract construction of dual… (More)

Topics

Cite this paper

@inproceedings{Suzuki2013TheDM, title={The De Morgan Negation on Bi-Approximation Semantics: the dual representation of unbounded ortholattices}, author={Tomoyuki Suzuki}, year={2013} }