Results 201 to 210 of about 86,163 (232)

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   +2 more sources

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

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   +1 more source

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   +1 more source

Categorical Abstract Algebraic Logic Metalogical Properties

Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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

Extension Properties and Subdirect Representation in Abstract Algebraic Logic

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

Categorical abstract algebraic logic categorical algebraization of first-order logic without terms

Archive for Mathematical Logic, 2004
This paper, together with the preceding one [Log. J. IGPL 12, No.~4, 313--333 (2004; Zbl 1067.03069)], 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 institution
openaire   +2 more sources

Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties

Order, 2007
This 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.
openaire   +1 more source

Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic

2018
We establish some relations between the class of truth-equational logics, the class of assertional logics, other classes in the Leibniz hierarchy, and the classes in the Frege hierarchy. We argue that the class of assertional logics belongs properly in the Leibniz hierarchy. We give two new characterizations of truth-equational logics in terms of their
Albuquerque, H., Font, J.M., Jansana, R., Moraschini, T. (Tommaso)   +3 more
openaire   +2 more sources