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
Showing 2022 · math.LOShow all
2 papers · 2 filters
math.LO2022★ 2 cited
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…
math.LO2022★ 7 cited
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…