| dc.creator | Celani, Sergio Arturo | |
| dc.date.accessioned | 2016-08-10T21:06:15Z | |
| dc.date.available | 2016-08-10T21:06:15Z | |
| dc.date.created | 2016-08-10T21:06:15Z | |
| dc.date.issued | 2013-10 | |
| dc.identifier | Celani, Sergio Arturo; A semantic analysis of some distributive logics with negation; Jagiellonian University; Reports on Mathematical Logic; 48; 10-2013; 79-98 | |
| dc.identifier | 0137-2904 | |
| dc.identifier | http://hdl.handle.net/11336/7071 | |
| dc.description.abstract | 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. | |
| dc.language | eng | |
| dc.publisher | Jagiellonian University | |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/http://www.ejournals.eu/rml/2013/Number-48/art/1775/ | |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/http://rml.tcs.uj.edu.pl/rml-48/4-celani.pdf | |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4467/20842589RM.13.004.1256 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/10.4467/20842589RM.13.004.1256 | |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.subject | Distributive Logics | |
| dc.subject | Negation | |
| dc.subject | Kripke Semantics | |
| dc.subject | Lattices | |
| dc.title | A semantic analysis of some distributive logics with negation | |
| dc.type | info:eu-repo/semantics/article | |
| dc.type | info:ar-repo/semantics/artículo | |
| dc.type | info:eu-repo/semantics/publishedVersion | |
