A first-order logic for multi-algebras.
Cīrulis, Jānis (2004)
Novi Sad Journal of Mathematics
Similarity:
Cīrulis, Jānis (2004)
Novi Sad Journal of Mathematics
Similarity:
Shokoofeh Ghorbani (2020)
Bulletin of the Section of Logic
Similarity:
In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem. We show that this logic is regularly algebraizable with respect to the variety of equality∆-algebras but it is not Fregean. Then we introduce the concept of (prelinear) equality∆-algebras and investigate some related properties. Also, we study ∆-deductive...
Luisa Iturrioz (1982)
Banach Center Publications
Similarity:
Tarek Sayed Ahmed (2002)
Fundamenta Mathematicae
Similarity:
SC, CA, QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras and Halmos' quasipolyadic algebras with equality, respectively. Generalizing a result of Andréka and Németi on cylindric algebras, we show that for K ∈ SC,QA,CA,QEA and any β > 2 the class of 2-dimensional neat reducts of β-dimensional algebras in K is not closed under forming elementary subalgebras, hence is not elementary. Whether this result extends...
Don Pigozzi, Antonino Salibra (1993)
Banach Center Publications
Similarity:
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
Francesc Esteva, Lluis Godo (1999)
Mathware and Soft Computing
Similarity:
In this paper we investigate a propositional fuzzy logical system LΠ which contains the well-known Lukasiewicz, Product and Gödel fuzzy logics as sublogics. We define the corresponding algebraic structures, called LΠ-algebras and prove the following completeness result: a formula φ is provable in the LΠ logic iff it is a tautology for all linear LΠ-algebras. Moreover, linear LΠ-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law. ...
Leon Henkin, Diane Resek (1975)
Fundamenta Mathematicae
Similarity:
Evelyn Nelson (1974)
Colloquium Mathematicae
Similarity:
Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay (2020)
Bulletin of the Section of Logic
Similarity:
In 2015, tense n × m-valued Lukasiewicz–Moisil algebras (or tense LMn×m-algebras) were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense n-valued Łukasiewicz–Moisil algebras. In this paper we continue the study of tense LMn×m-algebras. More precisely, we determine a Priestley-style duality for these algebras. This duality enables us not only to describe the tense LMn×m-congruences on a tense LMn×m-algebra, but also to characterize the simple and subdirectly irreducible...
Radomír Halaš, Jiří Ort (2003)
Mathematica Slovaca
Similarity:
Bernhard Banaschewski, Evelyn Nelson (1973)
Colloquium Mathematicae
Similarity:
T. P. Speed (1971)
Colloquium Mathematicae
Similarity:
R. Beazer (1974)
Colloquium Mathematicae
Similarity:
Wojciech Dzik, Sándor Radeleczki (2016)
Bulletin of the Section of Logic
Similarity:
We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that for every two unifiers there is a unifier more general then both of them. Contrary to that, often adding new operations to algebras results in changing the unification type. To prove the results we apply the theorems of [9] on direct products of l-algebras and filtering...