Remarks on C-independence in Cartesian products of abstract algebras
J. Anusiak, B. Weglorz (1970)
Colloquium Mathematicae
Similarity:
J. Anusiak, B. Weglorz (1970)
Colloquium Mathematicae
Similarity:
Zoran Marković (1977)
Publications de l'Institut Mathématique
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...
D. V. Thampuran (1970)
Matematički Vesnik
Similarity:
A. J. Ostaszewski (1974)
Colloquium Mathematicae
Similarity:
Bruce Blackadar, Alexander Kumjian (1985)
Mathematische Zeitschrift
Similarity:
Cīrulis, Jānis (2004)
Novi Sad Journal of Mathematics
Similarity:
J. Tomasik (1976)
Colloquium Mathematicae
Similarity:
J. VanderWerf (1996)
Semigroup forum
Similarity:
Jun Tao Wang, Xiao Long Xin, Arsham Borumand Saeid (2016)
Open Mathematics
Similarity:
The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are...
Luciano A. Lomonaco (2006)
Bollettino dell'Unione Matematica Italiana
Similarity:
Recently W. M. Singer has introduced the notion of algebra with coproducts (and the dual notion of coalgebra with products) by somehow weakening the notion of Hopf algebra (see [6]). In this paper we consider certain algebras of invariants and show that they are, in fact, further examples of algebras with coproducts and coalgebras with products. Moreover, we discuss the close relation between such algebras and the structures considered in Singer's paper.
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.