Results 51 to 60 of about 84,544 (73)

Algebraizable logics with a strong conjunction and their semi-lattice based companions

Archive for Mathematical Logic, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ramon Jansana, Jansana Ramon
exaly   +2 more sources

An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics

Studia Logica
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CARLOS Caleiro, Hugo Albuquerque, Caleiro CARLOS   +2 more
exaly   +3 more sources

Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic

Journal of Applied Non-Classical Logics, 1998
ABSTRACT 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   +3 more sources

Algebraizable Logics

Trends in Logic, 2001
Janusz Czelakowski, Czelakowski Janusz
exaly   +2 more sources

Applications to Protoalgebraic and Algebraizable Logics

2017
Ramon Jansana
exaly   +2 more sources

On the Algebraizability of Annotated Logics

Studia Logica, 1997
The 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, Irene F. Mikenberg, María G. Schwarze   +2 more
openaire   +2 more sources

Weakly algebraizable logics

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

On the Algebraizability of the Implicational Fragment of Abelian Logic

Studia Logica, 2013
In this paper we consider the implicational fragment of Abelian logic A→. We show that although the Abelian groups provide an semantics for the set of theorems of A→ they do not for the associated consequence relation. We then show that the consequence relation is not algebraizable in the sense of Blok and Pigozzi (Mem Am Math Soc 77, 1989).
Butchart, Sam, Rogerson, Susan
openaire   +4 more sources

On semilattice-based logics with an algebraizable assertional companion. [PDF]

Reports Math. Log., 2011
This paper studies some properties of the so-called semilattice-based logics (which are defined in a standard way using only the order relation from a variety of algebras that have a semilattice reduct with maximum) under the assumption that its ...
Font, Josep Maria
openaire   +2 more sources

Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices

Mathematical Logic Quarterly, 2008
We study the algebraizability of the logics constructed using literal-paraconsistent and literal-paracomplete matrices described by Lewin and Mikenberg in [11], proving that they are all algebraizable in the sense of Blok and Pigozzi in [31 but not ...
Lewin, Renato A., Eduardo Hirsh, Hirsh, Eduardo, Renato A. Lewin   +3 more
exaly   +2 more sources