Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
13-Jun-2022 | Sistemes deductius algebritzables | Acevedo, Lucas Uzías |
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 |
8-Jun-2016 | Investigations into the role of translations in abstract algebraic logic | Moraschini, Tommaso |
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 |
20-Jun-2021 | Lògica intuïcionista. Teorema de Glivenko | Canal Ferrer, Genı́s |
2007 | Compatibilitat en àlgebra, en lògica i en informàtica | Font Llovet, Josep Maria |
Oct-2020 | Inconsistency lemmas: an algebraic approach | Herrera Hernández, Jorge |
Feb-2020 | An Algebraic Study of Admissible Rules | Mastrokostas, Zafeiris |
Discover
Subject
Date issued