Fitxers
Tipus de document
TesiVersió
Versió publicadaData de publicació
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
Matèries (anglès)
Citació
Citació
TORRENS TORRELL, Antoni. Estudi i algebraització de certes lògiques: Àlgebres d-completes. ISBN 9788469404751. [consulted: 5 of June of 2026]. Available at: https://hdl.handle.net/2445/42667