2 papers
math.LO2024
Labelled calculi for the logics of rough concepts
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco +3
We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic L and some of its axiomatic extensions, where the labels are atomic formu…
math.LO2024
Labelled calculi for lattice-based modal logics
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco +3
We introduce labelled sequent calculi for the basic normal non-distributive modal logic L and 31 of its axiomatic extensions, where the labels are atomic formulas of a first order…