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 |
Jun-2018 | Gentzen Relations and Contextual Deduction-Detachment Theorems | Menéndez Turata, Guillermo |
4-Nov-2013 | Duality theory and Abstract Algebraic Logic | Esteban, María |
Oct-2020 | Inconsistency lemmas: an algebraic approach | Herrera Hernández, Jorge |
2007 | Compatibilitat en àlgebra, en lògica i en informàtica | Font Llovet, Josep Maria |
Feb-2020 | An Algebraic Study of Admissible Rules | Mastrokostas, Zafeiris |
20-Jun-2021 | Lògica intuïcionista. Teorema de Glivenko | Canal Ferrer, Genı́s |
Jul-2024 | Inconsistency lemmas and the inconsistency by cases property | Hortelano Martín, Isabel |
Jul-2024 | Rational and Delta expansions of the Nilpotent Minimum Logic | Sempere Camín, Paula |
Jul-2024 | Meet-irreducible elements in the poset of all logics | Muñoz Pérez, MIguel |
Discover
Subject
Date issued