1 citations · 1 across the 4 of their papers we have counts for
4 papers
Levin's and Prucnal's theorems on Medvedev's logic of finite problems
Adam Přenosil
The purpose of this note is to provide a transparent and unified retelling of both Skvortsov's proof of the structural completeness of Medvedev's logic of finite problems, which is…
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…
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…
Compatibility between modal operators in distributive modal logic
Adam Přenosil
Unlike in classical modal logic, in non-classical modal logics the box and diamond operators frequently fail to be interdefinable. Instead, these logics impose some compatibility c…