Results 171 to 180 of about 1,176 (208)

A Survey of Abstract Algebraic Logic

Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Josep Maria Font, Ramon Jansana, Don Pigozzi   +2 more
openaire   +2 more sources

COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC

The Journal of Symbolic Logic, 2016
AbstractThis paper presents a unified framework that explains and extends the already successful applications of the Leibniz operator, the Suszko operator, and the Tarski operator in recent developments in abstract algebraic logic. To this end, we refine Czelakowski’s notion of an S-compatibility operator, and introduce the notion of coherent family of
Hugo Albuquerque, Josep Maria Font, Ramon Jansana   +2 more
openaire   +2 more sources

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

Studia Logica, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tomás Lávicka, Carles Noguera
openaire   +4 more sources

An abstract algebraic logic approach to tetravalent modal logics

Journal of Symbolic Logic, 2000
AbstractThis paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those ...
Josep Maria Font, Miquel Rius
openaire   +3 more sources

Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic

Logic Journal of IGPL, 2004
This paper, together with the following one [Arch. Math. Logic 44, No.~4, 473--491 (2005; Zbl 1067.03070)], forms part of the author's programme, begun in his 1998 doctoral dissertation and pursued in a lengthy sequence of subsequent papers, of reformulating traditional logical systems in a categorical algebraic framework, based on the notion of ...
openaire   +3 more sources

Abstract Algebraic Logic

1998
The classical method of associating a class of algebras with a logical system is that of Lindenbaum and Tarski. It can be applied to any system with a biconditional ↔ that is compositional in the sense that it defines a congruence relation on the absolutely free algebra of formulas.
openaire   +2 more sources

Ideal Related Algebras and Their Logics Extended Abstract

2020
We present previously unknown algebraic semantics for Sobocinski’s logics S4.4, also known as \(\mathbf {S4.3DumB_2}\), and the autoepistemic logic KD45. The operators on the respective algebras are generalizations of the unary discriminator defined via suitable ideals. We also explore unification and admissible rules for these logics.
Ivo Düntsch, Wojciech Dzik
openaire   +1 more source

Categorical Abstract Algebraic Logic: Algebraizable Institutions

Applied Categorical Structures, 2002
The framework developed by W. J. Blok and D. Pigozzi for the algebraizability of deductive systems is extended to the algebraizability of multisignature logics with quantifiers.
openaire   +1 more source

Categorical Abstract Algebraic Logic Metalogical Properties

Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

A Logical Approach to Abstract Algebra

2005
Recent work in constructive mathematics show that Hilbert's program works for a large part of abstract algebra. Furthermore the arguments we get are not only elementary but also mathematically simpler. We present an example where the simplification was significant enough to suggest an improved version of a classical theorem.
openaire   +2 more sources