7 research outputs found
Constructive Canonicity of Inductive Inequalities
We prove the canonicity of inductive inequalities in a constructive
meta-theory, for classes of logics algebraically captured by varieties of
normal and regular lattice expansions. This result encompasses
Ghilardi-Meloni's and Suzuki's constructive canonicity results for Sahlqvist
formulas and inequalities, and is based on an application of the tools of
unified correspondence theory. Specifically, we provide an alternative
interpretation of the language of the algorithm ALBA for lattice expansions:
nominal and conominal variables are respectively interpreted as closed and open
elements of canonical extensions of normal/regular lattice expansions, rather
than as completely join-irreducible and meet-irreducible elements of perfect
normal/regular lattice expansions. We show the correctness of ALBA with respect
to this interpretation. From this fact, the constructive canonicity of the
inequalities on which ALBA succeeds follows by an adaptation of the standard
argument. The claimed result then follows as a consequence of the success of
ALBA on inductive inequalities
Modelling competing theories
We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and possible applications of this logical framework in the context of the formal analysis of the interaction between (competing) scientific theories.</p
Modelling competing theories
We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and possible applications of this logical framework in the context of the formal analysis of the interaction between (competing) scientific theories
Modelling competing theories
We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and possible applications of this logical framework in the context of the formal analysis of the interaction between (competing) scientific theories.Ethics & Philosophy of Technolog