Full-text resources of PSJD and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

PL EN


Preferences help
enabled [disable] Abstract
Number of results
2013 | 48 |

Article title

A Semantic Analysis of some Distributive Logics with Negation

Content

Title variants

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

Year

Volume

48

Physical description

Dates

published
2013
online
07 - 07 - 2015

Contributors

References

Document Type

Publication order reference

Identifiers

YADDA identifier

bwmeta1.element.ojs-issn-2084-2589-year-2013-volume-48-article-2908
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.