30 citations
- Consejo Superior de Investigaciones CientíficasES3 papers
- Universitat de BarcelonaES3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Artificial Intelligence Research InstituteES1 paper
- Australian National UniversityAU1 paper
- Centro Científico Tecnólogico - RosarioAR1 paper
- Consejo Nacional de Investigaciones Científicas y TécnicasAR1 paper
- Dansk Sygehus InstitutDK1 paper
- Delft University of TechnologyNL1 paper
- Exact Sciences (United States)US1 paper
- Fund for Scientific ResearchBE1 paper
- Institut de Recherche en Informatique FondamentaleFR1 paper
4 papers · 1 filter
Recovery operators in quasi-Nelson logic: the prelinear case
Tommaso Flaminio, Lluis Godo, Umberto Rivieccio
This paper investigates recovery operators in quasi-Nelson logic, the algebraizable logical counterpart of quasi-Nelson algebras. These form a variety of three-potent, distributive…
Epimorphisms between finitely generated algebras
Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
A quasivariety has the weak ES property when the epimorphisms between its finitely generated members are surjective. A characterization of quasivarieties with the weak ES property…
Intuitionistic Sahlqvist theory for deductive systems
Damiano Fornasiere, Tommaso Moraschini
Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory o…
Positive Modal Logic Beyond Distributivity
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot +1
We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic…