Results 51 to 60 of about 810,546 (73)
The Algebras of Lewis\u27s Counterfactuals
The logico-algebraic study of Lewis\u27s hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems.
Ugolini, Sara, Rosella, Giuliano
core
Erratum to "Definitional Equivalence and Algebraizability of Generalized Logical Systems".
Ann. Pure Appl. Log., 2000 openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Implicit connectives of algebraizable logics
Studia Logica, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Xavier Caicedo, Caicedo Xavier
exaly +3 more sources
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 +4 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 +4 more sources
An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics
Studia LogicazbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hugo Albuquerque +2 more
exaly +4 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.
J. Madarász
exaly +3 more sources
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 +2 more sources
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 +2 more sources
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator
Studia Logica, 1997In this paper the author characterizes the hierarchy of protoalgebraic, equivalential, finitely equivalential, possibly infinitely algebraizable and finitely algebraizable logics by properties of the Leibniz operator. The author gives a new short proof of the main result of \textit{W. J. Blok} and \textit{D. Pigozzi} [Algebraizable logics, Mem.
Burghard Herrmann
semanticscholar +4 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