Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 14 (Search time: 0.06 seconds).
Item hits:
Issue DateTitleAuthor(s)
13-Jun-2022Sistemes deductius algebritzablesAcevedo, Lucas Uzías
Jun-2018Gentzen Relations and Contextual Deduction-Detachment TheoremsMenéndez Turata, Guillermo
4-Nov-2013Duality theory and Abstract Algebraic LogicEsteban, María
Oct-2020Inconsistency lemmas: an algebraic approachHerrera Hernández, Jorge
2007Compatibilitat en àlgebra, en lògica i en informàticaFont Llovet, Josep Maria
Feb-2020An Algebraic Study of Admissible RulesMastrokostas, Zafeiris
20-Jun-2021Lògica intuïcionista. Teorema de GlivenkoCanal Ferrer, Genı́s
Jul-2024Inconsistency lemmas and the inconsistency by cases propertyHortelano Martín, Isabel
Jul-2024Rational and Delta expansions of the Nilpotent Minimum LogicSempere Camín, Paula
Jul-2024Meet-irreducible elements in the poset of all logicsMuñoz Pérez, MIguel