A Semantic Analysis of some Distributive Logics with Negation

• Authors: Sergio A. Celani
• Languages of publication: PL

Abstracts

PL

In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S (N, 1) are the deductive systems generated by the local consequence relation and the global consequence relation associated with ¬-frames, respectively. Using algebraic and relational methods we will prove that S (N) and some of its extensions are canonical and frame complete.

Keywords

PL

• Publisher: [unknown2]
• Journal: Reports on Mathematical Logic
• Year: 2013
• Volume: 48

Dates

published

2013

online

07 - 07 - 2015

Contributors

author

Sergio A. Celani