Open AccessJournal Article
Lattice-based paraconsistent logic
Wendy MacCaull,Dimiter Vakarelov +1 more
TLDR
In this article, the authors describe a procedure for developing models and associated proof systems for two styles of paraconsistent logic with negation and give an Urquhart-style representation of bounded not necessarily discrete lattices using (grill, cogrill) pairs.Abstract:
In this paper we describe a procedure for developing models and associated proof systems for two styles of paraconsistent logic. We first give an Urquhart-style representation of bounded not necessarily discrete lattices using (grill, cogrill) pairs. From this we develop Kripke semantics for a logic permitting 3 truth values: true, false and both true and false. We then enrich the lattice by adding a unary operation of negation that is involutive and antimonotone and show that the representation may be extended to these lattices. This yields Kripke semantics for a nonexplosive 3-valued logic with negation.read more
Citations
More filters
Book ChapterDOI
Topological representation of contact lattices
TL;DR: The main goal of this paper is to investigate the representation theory of that weaker notion, i.e., whether it is still possible to represent each abstract algebra by a substructure of the regular closed sets of a suitable topological space with the standard Whiteheadean contact relation.