| dc.creator | Cornejo, Juan Manuel | |
| dc.date.accessioned | 2016-12-28T16:14:13Z | |
| dc.date.accessioned | 2018-11-06T13:15:46Z | |
| dc.date.available | 2016-12-28T16:14:13Z | |
| dc.date.available | 2018-11-06T13:15:46Z | |
| dc.date.created | 2016-12-28T16:14:13Z | |
| dc.date.issued | 2015-08 | |
| dc.identifier | Cornejo, Juan Manuel; The Semi-Heyting Brouwer Logic; Springer; Studia Logica; 103; 4; 8-2015; 853-875 | |
| dc.identifier | 0039-3215 | |
| dc.identifier | http://hdl.handle.net/11336/10445 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1873553 | |
| dc.description.abstract | In this paper we introduce a logic that we name semi Heyting–Brouwer logic, SHB, in such a way that the variety of double semi-Heyting algebras is its algebraic counterpart. We prove that, up to equivalences by translations, the Heyting–Brouwer logic HB is an axiomatic extension of SHB and that the propositional calculi of intuitionistic logic I and semi-intuitionistic logic SI turn out to be fragments of SHB. | |
| dc.language | eng | |
| dc.publisher | Springer | |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007/s11225-014-9596-6?wt_mc=email.event.1.SEM.ArticleAuthorAssignedToIssue | |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11225-014-9596-6 | |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
| dc.rights | info:eu-repo/semantics/restrictedAccess | |
| dc.subject | SEMI HEYTING-BROUWER LOGIC | |
| dc.subject | SEMI HEYTING ALGEBRAS | |
| dc.subject | HEYTING BROUWER LOGIC | |
| dc.subject | HEYTING ALGREBRAS | |
| dc.title | The Semi-Heyting Brouwer Logic | |
| dc.type | Artículos de revistas | |
| dc.type | Artículos de revistas | |
| dc.type | Artículos de revistas | |
