...-... Algebras.
A duality between algebras of basic logic and bounded representable -monoids
-algebras, introduced by P. Hájek, form an algebraic counterpart of the basic fuzzy logic. In the paper it is shown that -algebras are the duals of bounded representable -monoids. This duality enables us to describe some structure properties of -algebras.
A glimpse of deductive systems in algebra
The concept of a deductive system has been intensively studied in algebraic logic, per se and in connection with various types of filters. In this paper we introduce an axiomatization which shows how several resembling theorems that had been separately proved for various algebras of logic can be given unique proofs within this axiomatic framework. We thus recapture theorems already known in the literature, as well as new ones. As a by-product we introduce the class of pre-BCK algebras.
A groupoid characterization of Boolean algebras
We present a groupoid which can be converted into a Boolean algebra with respect to term operations. Also conversely, every Boolean algebra can be reached in this way.
A measure theoretic approach to logical quantification
A non-associative generalization of MV-algebras
A note on Girard quantales
A note on good pseudo BL-algebras
Pseudo BL-algebras are a noncommutative extention of BL-algebras. In this paper we study good pseudo BL-algebras and consider some classes of these algebras.
A note on homomorphisms of Hilbert algebras.
A note on the fixed point for the polynomials of a boolean algebra with an operator of endomorphism
A theory of refinement structure of hedge algebras and its applications to fuzzy logic
In [13], an algebraic approach to the natural structure of domains of linguistic variables was introduced. In this approach, every linguistic domain can be interpreted as an algebraic structure called a hedge algebra. In this paper, a refinement structure of hedge algebras based on free distributive lattices generated by linguistic hedge operations will be examined in order to model structure of linguistic domains more properly. In solving this question, we restrict our consideration to the specific...
"Abstract logics" and "Classical abstract logics" [Book]
Adjoint Semilattice and Minimal Brouwerian Extensions of a Hilbert Algebra
Let be a Hilbert algebra. The monoid of all unary operations on generated by operations , which is actually an upper semilattice w.r.t. the pointwise ordering, is called the adjoint semilattice of . This semilattice is isomorphic to the semilattice of finitely generated filters of , it is subtractive (i.e., dually implicative), and its ideal lattice is isomorphic to the filter lattice of . Moreover, the order dual of the adjoint semilattice is a minimal Brouwerian extension of , and the...
Algebraic analysis of LPC+Ch calculus
Algebraic and relational semantics for tense logics
Algebraic axiomatization of tense intuitionistic logic
We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice which is a...
Algebraic properties of pre-logics
Algebras on subintervals of BL-algebras, pseudo BL-algebras and bounded residuated -monoids
Algèbre du calcul propositionnel trivalent de Heyting
Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras
We prove that the interval topology of an Archimedean atomic lattice effect algebra is Hausdorff whenever the set of all atoms of is almost orthogonal. In such a case is order continuous. If moreover is complete then order convergence of nets of elements of is topological and hence it coincides with convergence in the order topology and this topology is compact Hausdorff compatible with a uniformity induced by a separating function family on corresponding to compact and cocompact elements....