Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/136022
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Font Llovet, Josep Maria | - |
dc.date.accessioned | 2019-06-28T08:48:41Z | - |
dc.date.available | 2019-06-28T08:48:41Z | - |
dc.date.issued | 2007 | - |
dc.identifier.issn | 0214-316X | - |
dc.identifier.uri | http://hdl.handle.net/2445/136022 | - |
dc.description.abstract | S'exposa una visió actual de l'estudi algebraic de la Lògica, especialment de les lògiques no clàssiques, prenent com a eix alguns conceptes purament algebraics com els de compatibilitat, congruència de Leibniz, i operador de Leibniz. Es mostra com aquests conceptes permeten definir una jerarquia de lògiques i classificar-les pel seu capteniment envers la seva algebrització, és a dir, per les relacions que mantenen amb els seus models algebraics, i per les propietats d'aquests models. Al final s'esmenten algunes de les línies de recerca més recents, en el context del camp emergent actualment anomenat Lògica Algebraica Abstracta. | - |
dc.format.extent | 36 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | cat | - |
dc.publisher | IEC | - |
dc.relation.isformatof | Reproducció del document publicat a: https://doi.org/10.2436/20.2002.01.4 | - |
dc.relation.ispartof | Butlletí de la Societat Catalana de Matemàtiques, 2007, vol. 22, num. 1, p. 75-110 | - |
dc.relation.uri | https://doi.org/10.2436/20.2002.01.4 | - |
dc.rights | cc-by-nc-nd (c) Font Llovet, Josep Maria, 2007 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es | - |
dc.source | Articles publicats en revistes (Matemàtiques i Informàtica) | - |
dc.subject.classification | Lògica matemàtica | - |
dc.subject.classification | Lògica algebraica | - |
dc.subject.other | Mathematical logic | - |
dc.subject.other | Algebraic logic | - |
dc.title | Compatibilitat en àlgebra, en lògica i en informàtica | - |
dc.type | info:eu-repo/semantics/article | - |
dc.type | info:eu-repo/semantics/publishedVersion | - |
dc.identifier.idgrec | 555397 | - |
dc.date.updated | 2019-06-28T08:48:41Z | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
Appears in Collections: | Articles publicats en revistes (Matemàtiques i Informàtica) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
555397.pdf | 604.38 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License