Results 1 to 10 of about 155 (78)
Annals of Pure and Applied Logic, 2013 In the article under review the author provides an order-theoretic generalization of the classical notion of an algebraizable logic. I recall that a deductive system is said to be algebraizable if it is fully equivalent to the equational consequence relation of a class of algebras (with a common algebraic signature). For a given language \(\mathcal{L} =
J.G. Raftery, Raftery, J.G.
exaly +4 more sources
Bulletin of the Section of Logic, 2020 In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem.
Shokoofeh Ghorbani
doaj +2 more sources
The Modelwise Interpolation Property of Semantic Logics
Bulletin of the Section of Logic, 2023 In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi ...
Zalán Gyenis +2 more
doaj +3 more sources
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions [PDF]
Bulletin of the Section of Logic, 2022 The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo +1 more
doaj +2 more sources
Combining Algebraizable Logics [PDF]
Notre Dame Journal of Formal Logic, 1996 Combining algebraizable logics is regarded in the paper as forming their colimit in the category ALOG of algebraizable logical systems. (The authors use the latter term just for what is called an algebraizable deductive system by \textit{W. J. Blok} and \textit{D. Pigozzi}, Algebraizable logics'', Mem. Am. Math. Soc.
Jánossy, A., Kurucz, Á., Eiben, Á. E.
openaire +3 more sources
ALGEBRAIZABLE WEAK LOGICS [PDF]
The Journal of Symbolic Logic, 2023 Abstract We extend the framework of abstract algebraic logic to weak logics, namely, logical systems that are not necessarily closed under uniform substitution. We interpret weak logics by algebras expanded with an additional predicate, and we introduce a loose and strict version of algebraizability for weak logics.
GEORGI NAKOV, DAVIDE EMILIO QUADRELLARO
core +5 more sources
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics [PDF]
Log. J. IGPL, 2016 This article is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of firstorder systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable definitions of elementary homomorphism, elementary substructure and elementary equivalence.
Pilar Dellunde +2 more
openaire +7 more sources
Algebraizable logics and a functorial encoding of its morphisms [PDF]
Logic Journal of the IGPL, 2017 arXiv admin note: text overlap with arXiv:1405 ...
Hugo Luiz Mariano
exaly +3 more sources
Gautama and Almost Gautama Algebras and their associated logics [PDF]
Transactions on Fuzzy Sets and Systems, 2023 Recently, Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras, both of which are, in ...
Juan M. Cornejo +1 more
doaj +1 more source
Algebraizability of the Logic of Quasi-N4-Lattices
Electronic Proceedings in Theoretical Computer Science, 2022 In Proceedings NCL 2022, arXiv:2204 ...
Neto, Clodomir Silva Lima +2 more
openaire +2 more sources