Results 221 to 230 of about 716,706 (268)

The Beth Property in Algebraic Logic

Studia Logica, 2006
The authors investigate the correspondence between the metalogical Beth property and the algebraic property of surjectivity of epimorphisms. A deductive system \({\mathcal S}\) is called an equivalential logic if there exists a (possibly infinite) set \(\Delta(p, q)\) of \(k\)-formulas in at most the two 1-variables \(p\), \(q\) such that (R) \(\vdash_{
W J Blok, Blok W J
exaly   +4 more sources

Finitary algebraic logic II

Mathematical Logic Quarterly, 1993
AbstractThis is a supplement to the paper “Finitary Algebraic Logic” [1]. It includes corrections for several errors and some additional results. MSC: 03G15, 03G25.
Roger Maddux
exaly   +2 more sources

Automating Algebraic Proofs in Algebraic Logic

Fundamenta Informaticae, 1996
We present here an effective proof theory that allows one to reason within algebras of algebraic logic in a purely syntactic, algebraic fashion. We demonstrate the effectiveness of the method by discussing our automated proofs of problems and theorems taken from Professor Helena Rasiowa's book An Algebraic Approach to Non-Classical Logics, Studies in ...
Hsiang J., Wasilewska A.
openaire   +3 more sources

Applying Algebraic Logic to Logic

1994
The idea of solving problems in logic by first translating them to algebra, then using the powerful methodology of algebra for solving them, and then translating the solution back to logic, goes back to Leibnitz and Pascal. Papers on the history of Logic (e.g.
Hajnal Andréka, István Németi, Ildikó Sain   +2 more
openaire   +2 more sources

On Amalgamation in Algebras of Logic

Studia Logica, 2005
The main theorem is that not all epimorphisms are surjective in \(K\) and \(K\) fails to have the strong amalgamation property if \(K\) is one of these classes of algebras: \(\omega\)-dimensional cylindric algebras, \(\omega\)-dimensional substitution algebras, \(\omega\)-dimensional quasipolyadic algebras, and \(\omega\)-dimensional quasipolyadic ...
openaire   +3 more sources

Finitary Algebraic Logic

Mathematical Logic Quarterly, 1989
This paper presents a few results on the following imprecise problem: Is it possible to construct a finitely axiomatizable finitary algebraic logic (based upon finitely many finitary operations on relations of finite dimension)? The system \({\mathcal L}^{\times}\) from ``A formalization of set theory without variables'' (1988) by \textit{A.
openaire   +1 more source

Mixed algebras and their logics

Journal of Applied Non-Classical Logics, 2017
AbstractWe investigate complex algebras of the form arising from a frame where , and exhibit their abstract algebraic and logical counterparts.
Ivo Düntsch, Ewa Orlowska, Tinko Tinchev   +2 more
openaire   +1 more source

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