Dijous 11 de juny, el Dipòsit Digital no estarà operatiu de 15:00 a 17:00 h per tasques de manteniment. Disculpeu les molèsties.
El jueves 11 de Junio, el Dipòsit Digital no estará operativo de 15:00 a 17:00 h debido a tareas de mantenimiento. Disculpen las molestias.
Thursday, Jun 11th, the Digital Repository will be unavailable due to a system update.

Files

01.ATT_1de1.pdf (5.22 MB)

Document type

Doctoral thesis

Version

Published version

Publication date

1980-01-01

All rights reserved

Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/42667

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

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

Abstract

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.

Subject

Lògica matemàtica

Subject (English)

Mathematical logic

Citation

Collections

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

Citation

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

Export metadata

JSON - METS

Share record