Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.provenance | CONICET | - |
dc.creator | Celani, Sergio Arturo | - |
dc.date | 2016-08-10T21:06:15Z | - |
dc.date | 2016-08-10T21:06:15Z | - |
dc.date | 2013-10 | - |
dc.date | 2016-08-04T17:21:37Z | - |
dc.date.accessioned | 2019-04-29T15:36:26Z | - |
dc.date.available | 2019-04-29T15:36:26Z | - |
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.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/297621 | - |
dc.description | 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.description | Fil: Celani, Sergio Arturo. Universidad Nacional del Centro de la Provincia de Buenos Aires.facultad de Ciencias Exactas; Argentina | - |
dc.format | application/pdf | - |
dc.format | application/pdf | - |
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 | info:eu-repo/semantics/restrictedAccess | - |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
dc.source | reponame:CONICET Digital (CONICET) | - |
dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
dc.source | instacron:CONICET | - |
dc.source.uri | http://hdl.handle.net/11336/7071 | - |
dc.subject | distributive logics | - |
dc.subject | negation | - |
dc.subject | Kripke semantics | - |
dc.subject | lattices | - |
dc.subject | Matemática Pura | - |
dc.subject | Matemáticas | - |
dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
dc.title | A semantic analysis of some distributive logics with negation | - |
dc.type | info:eu-repo/semantics/article | - |
dc.type | info:eu-repo/semantics/publishedVersion | - |
dc.type | info:ar-repo/semantics/articulo | - |
Aparece en las colecciones: | CONICET |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.