Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Fitxers

01.ATT_1de1.pdf (5.22 MB)

Tipus de document

Tesi

Versió

Versió publicada

Data de publicació

1980-01-01

Tots els drets reservats

Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/42667

Estudi i algebraització de certes lògiques: Àlgebres d-completes.

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

En aquesta tesi doctoral s'obtenen i estudien les àlgebres d-completes com les àlgebres implicatives associades a uns determinats càlculs proposicionals implicatius, que satisfan un teorema de la deducció feble i contenen als càlculs proposicionals multi-valorats donats per Lukasiewicz. Per altra banda, també s'estudien els sistemes deductius d'aquestes àlgebres.

Matèries

Lògica matemàtica

Matèries (anglès)

Mathematical logic

Citació

Col·leccions

Tesis Doctorals - Departament - Probabilitat, Lògica i Estadística

Citació

TORRENS TORRELL, Antoni. Estudi i algebraització de certes lògiques: Àlgebres d-completes. ISBN 9788469404751. [consulted: 19 of August of 2026]. Available at: https://hdl.handle.net/2445/42667

Exportar metadades

JSON - METS

Compartir registre