Results 181 to 190 of about 1,176 (208)
Some of the next articles are maybe not open access.
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
Studia Logica, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tomás Lávicka, Carles Noguera
openaire +4 more sources
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
Archive for Mathematical Logic, 2004This paper, together with the preceding one [Log. J. IGPL 12, No.~4, 313--333 (2004; Zbl 1067.03069)], forms part of the author's programme, begun in his 1998 doctoral dissertation and pursued in a lengthy sequence of subsequent papers, of reformulating traditional logical systems in a categorical algebraic framework, based on the notion of institution
openaire +3 more sources
Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties
Order, 2007This paper contains the fourth (and final) installment on research concerning an extension of some of the results on partially ordered varieties and quasi-varieties of partially ordered universal algebras obtained by Palasińska and Pigozzi in the context of abstract algebraic logic and reported in \textit{D.
openaire +2 more sources
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
2018We establish some relations between the class of truth-equational logics, the class of assertional logics, other classes in the Leibniz hierarchy, and the classes in the Frege hierarchy. We argue that the class of assertional logics belongs properly in the Leibniz hierarchy. We give two new characterizations of truth-equational logics in terms of their
Albuquerque, H. +3 more
openaire +2 more sources
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
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs
Studia Logica, 2023Meghdad Ghari
exaly