Results 1 to 10 of about 58 (43)

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 Mariano
exaly   +4 more sources

Combining Algebraizable Logics

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.
exaly   +3 more sources

Order algebraizable logics

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} =
exaly   +4 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, Hanamantagouda P. Sankappanavar   +1 more
doaj   +1 more source

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

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, Hanamantagouda P. Sankappanavar   +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, da Silva, Thiago Nascimento, Rivieccio, Umberto   +2 more
openaire   +2 more sources

Bounded and multi-adjoint lattice algebraizable logics

International Journal of Approximate Reasoning
Jesus Medina, Lluís Godo, M Eugenia Cornejo   +2 more
exaly   +3 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, Àngel García-Cerdaña, Carles Noguera   +2 more
openaire   +7 more sources

ALGEBRAIZABLE WEAK LOGICS

The Journal of Symbolic Logic
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
openaire   +3 more sources

A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS

The Journal of Symbolic Logic, 2015
AbstractThis paper considers Henkin’s proof of completeness of classical first-order logic and extends its scope to the realm of algebraizable logics in the sense of Blok and Pigozzi. Given a propositional logic L (for which we only need to assume that it has an algebraic semantics and a suitable disjunction) we axiomatize two natural first-order ...
Petr Cintula, Carles Noguera
openaire   +4 more sources