Avui, dijous 7 de maig, el Dipòsit Digital no estarà operatiu per tasques d'actualització. Disculpeu les molèsties.
Hoy, jueves 7 de mayo, el Dipòsit Digital no estará operativo debido a tareas de actualización. Disculpen las molestias.
Today, Thursday, May 7th, the Digital Repository will be unavailable due to a system update.

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. [consulta: 7 de maig de 2026]. Disponible a: https://hdl.handle.net/2445/42667

Exportar metadades

JSON - METS

Compartir registre