Results 211 to 220 of about 86,163 (232)
Some of the next articles are maybe not open access.
Categorical abstract algebraic logic: skywatching in semilattice systems
Logic Journal of IGPL, 2015Font and Moraschini established a bijective correspondence between congruences of semilattices with sectionally finite height and certain special subsets of their universes, called clouds. They provided a characterization of clouds and showed that the correspondence is given by the Leibniz operator of abstract algebraic logic.
openaire +1 more source
Generalized Matrices in Abstract Algebraic Logic
2003The aim of this paper is to survey some work done recently or still in progress that applies generalized matrices (also called abstract logics by some) to the study of sentential logics. My main concern will be to emphasize the links between this line of research and other existing frameworks in Algebraic Logic, either well-established ones (such as ...
openaire +1 more source
A logic for Lawson compact algebraic L-domains
Theoretical Computer Science, 2020Longchun Wang, Qingguo Li
exaly
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs
Studia Logica, 2023Meghdad GHari
exaly
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis
Studia Logica, 2016Stefano Bonzio, José Gil-Férez
exaly
Conversion between Logic and Algebraic Expressions of Boolean Control Networks
Applied Sciences (Switzerland), 2020Cailu Wang, Yuegang Tao
exaly