Showing 2024Show all
2 papers · 1 filter
math.LO2024
Equivalence of multiset-based consequence relations
Ali Madanshekaf, Adam Přenosil, Zeinab Khanjanzadeh Seresti +1
The pioneering work of Blok and Jónsson and its further development by Galatos and Tsinakis initiated an abstract study of consequence relations using the tools of module theory, w…
math.LO2024
Equational definitions of logical filters
Michele Pra Baldi, Adam Přenosil
A finitary propositional logic can be given an algebraic reading in two different ways: by translating formulas into equations and logical rules into quasi-equations, or by transla…