Browsing by Subject Lògica algebraica
Showing results 1 to 16 of 16
| Issue Date | Title | Author(s) |
| 1989 | A four-valued modal logic arising from Monteiro's last algebras | Font, Josep M.; Rius Font, Miquel |
| Feb-2020 | An Algebraic Study of Admissible Rules | Mastrokostas, Zafeiris |
| 2007 | Compatibilitat en àlgebra, en lògica i en informàtica | Font Llovet, Josep Maria |
| 4-Nov-2013 | Duality theory and Abstract Algebraic Logic | Esteban, María |
| Jun-2018 | Gentzen Relations and Contextual Deduction-Detachment Theorems | Menéndez Turata, Guillermo |
| Oct-2020 | Inconsistency lemmas: an algebraic approach | Herrera Hernández, Jorge |
| 8-Jun-2016 | Investigations into the role of translations in abstract algebraic logic | Moraschini, Tommaso |
| 1997 | Locally finite quasivarieties of MV-algebras | Gispert Brasó, Joan; Torrens Torrell, Antoni |
| 20-Jun-2021 | Lògica intuïcionista. Teorema de Glivenko | Canal Ferrer, Genı́s |
| 1990 | Note on a six-valued extension of three valued logic | Font, Josep M.; Moussavi, Massoud |
| 21-Jun-2020 | On the construction and algebraic semantics of relevance logic | Gastón Codony, Andrea |
| 1996 | On the contributions of Helena Rasiowa to mathematical logic | Font, Josep M. |
| 16-Mar-2016 | Operators and strong versions of sentential logics in Abstract Algebraic Logic | Albuquerque, Hugo Cardoso |
| Jun-2016 | Orthomodular logic. A proposal of a logic for quantum physics | Alsalti Baldellou, Àdel |
| 1997 | Product logic and the deduction theorem | Adillón, Román; Verdú, B. (Buenaventura) |
| 13-Jun-2022 | Sistemes deductius algebritzables | Acevedo, Lucas Uzías |
