Results 21 to 30 of about 62 (49)
Some of the next articles are maybe not open access.
An Approach to Glivenko’s Theorem in Algebraizable Logics
Studia Logica, 2008zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Antoni Torrens, Torrens Antoni
exaly +2 more sources
Equivalential and algebraizable logics
Studia Logica, 1996The author investigates the process of algebraization of the so-called equivalential and finitely equivalential logics. His approach is based on matrix semantics. In the paper, a logic need not be finitary (i.e., have only finitary rules). As to algebraizability, the author distinguishes between finitely algebraizable logics (i.e.
Burghard Herrmann
exaly +3 more sources
Algebraizable logics with a strong conjunction and their semi-lattice based companions
Archive for Mathematical Logic, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ramon Jansana, Jansana Ramon
exaly +2 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.
Voutsadakis George
exaly +2 more sources
Omitting types for algebraizable extensions of first order logic
Journal of Applied Non-Classical Logics, 2005We prove an Omitting Types Theorem for certain algebraizable extensions of first order logic without equality studied in [SAI 00] and [SAY 04]. This is done by proving a representation theorem preserving given countable sets of infinite meets for certain reducts of ω- dimensional polyadic algebras, the so-called G polyadic algebras (Theorem 5).
Tarek Sayed Ahmed
exaly +2 more sources
A survey on categories of logics and algebraizable logics
Sao Paulo Journal of Mathematical Sciences, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly +3 more sources
An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics
Studia LogicazbMATH Open Web Interface contents unavailable due to conflicting licenses.
CARLOS Caleiro +2 more
exaly +3 more sources
Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
Journal of Applied Non-Classical Logics, 1998ABSTRACT The two main directions pursued in the present paper are the following. The first direction was (perhaps) started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic (with a single unary modality) has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property.
exaly +2 more sources
On the Algebraizability of Annotated Logics
Studia Logica, 1997The authors introduce a structural version of annotated logics (introduced by V. S. Subrahmanian as logic foundation of computer programming) and prove that they are equivalent to the original systems, in the sense that everything provable in a system of one type has a translation that is provable in the corresponding system of the other types.
Renato A. Lewin +2 more
openaire +1 more source
Journal of Symbolic Logic, 2000
AbstractIn the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.
Janusz Czelakowski, Ramon Jansana
openaire +1 more source
AbstractIn the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.
Janusz Czelakowski, Ramon Jansana
openaire +1 more source