output
20002026
most citedThe Quantum Vacuum and the Cosmological Constant Problem

30 citations

researchers with a paper here
collaborating institutions

11 papers

math.LO2026

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…

math.LO2024

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…

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…

cs.DC2022

Early Adapting to Trends: Self-Stabilizing Information Spread using Passive Communication

Amos Korman, Robin Vacus

How to efficiently and reliably spread information in a system is one of the most fundamental problems in distributed computing. Recently, inspired by biological scenarios, several…

cs.LO2016

An Abstract Algebraic Logic View on Judgment Aggregation

Maria Esteban, Alessandra Palmigiano, Zhiguang Zhao

In the present paper, we propose Abstract Algebraic Logic (AAL) as a general logical framework for Judgment Aggregation. Our main contribution is a generalization of Herzberg's alg…