Displaying similar documents to “Products of generalized algebras and products of realizations”

Equality Logic

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...

Very true operators on MTL-algebras

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...

On Singer's algebra and coalgebra structures

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.

Polyadic algebras over nonclassical logics

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.