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