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.