| dc.creator | Cornejo, Juan Manuel | |
| dc.creator | Viglizzo, Ignacio Dario | |
| dc.date.accessioned | 2022-06-01T01:18:54Z | |
| dc.date.accessioned | 2022-10-15T03:21:30Z | |
| dc.date.available | 2022-06-01T01:18:54Z | |
| dc.date.available | 2022-10-15T03:21:30Z | |
| dc.date.created | 2022-06-01T01:18:54Z | |
| dc.date.issued | 2019 | |
| dc.identifier | Semi-Intuitionistic Logic with Strong Negation; XIV Congreso Dr. Antonio Monteiro; Bahía Blanca; Argentina; 2017; 1-11 | |
| dc.identifier | 0327-9170 | |
| dc.identifier | http://hdl.handle.net/11336/158627 | |
| dc.identifier | CONICET Digital | |
| dc.identifier | CONICET | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/4339531 | |
| dc.description.abstract | Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic extension is proved to have as algebraic semantics the class of Nelson algebras. | |
| dc.language | spa | |
| dc.publisher | Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca | |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/https://www.matematica.uns.edu.ar/xivcm/spanish.php | |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.source | Actas del Congreso XIV Dr. Antonio A. R. Monteiro | |
| dc.subject | INTUITIONISTIC LOGIC WITH STRONG NEGATION | |
| dc.subject | SEMI INTUITIONISTIC LOGIC WITH STRONG NEGATION | |
| dc.subject | NELSON ALGEBRAS | |
| dc.subject | SEMI NELSON ALGEBRAS | |
| dc.title | Semi-Intuitionistic Logic with Strong Negation | |
| dc.type | info:eu-repo/semantics/publishedVersion | |
| dc.type | info:eu-repo/semantics/conferenceObject | |
| dc.type | info:ar-repo/semantics/documento de conferencia | |
