1 citations · 1 across the 11 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
Sugihara Algebras: Admissibility Algebras via the Test Spaces Method
Leonardo Cabrer, Hilary Priestley
This paper studies finitely generated quasivarieties of Sugihara algebras. These quasivarieties provide complete algebraic semantics for certain propositional logics associated wit…
math.LO2018
Checking Admissibility Using Natural Dualities
Leonardo M. Cabrer, Benjamin Freisberg, George Metcalfe +1
This paper presents a new method for obtaining small algebras to check the admissibility-equivalently, validity in free algebras-of quasi-identities in a finitely generated quasiva…