Page 1

Displaying 1 – 17 of 17

Showing per page

Annihilators and deductive systems in commutative Hilbert algebras

Ivan Chajda, Radomír Halaš, Young Bae Jun (2002)

Commentationes Mathematicae Universitatis Carolinae

The properties of deductive systems in Hilbert algebras are treated. If a Hilbert algebra H considered as an ordered set is an upper semilattice then prime deductive systems coincide with meet-irreducible elements of the lattice Ded H of all deductive systems on H and every maximal deductive system is prime. Complements and relative complements of Ded H are characterized as the so called annihilators in H .

Generalized deductive systems in subregular varieties

Ivan Chajda (2003)

Mathematica Bohemica

An algebra 𝒜 = ( A , F ) is subregular alias regular with respect to a unary term function g if for each Θ , Φ Con 𝒜 we have Θ = Φ whenever [ g ( a ) ] Θ = [ g ( a ) ] Φ for each a A . We borrow the concept of a deductive system from logic to modify it for subregular algebras. Using it we show that a subset C A is a class of some congruence on Θ containing g ( a ) if and only if C is this generalized deductive system. This method is efficient (needs a finite number of steps).

On ideals in De Morgan residuated lattices

Liviu-Constantin Holdon (2018)


In this paper, we introduce a new class of residuated lattices called De Morgan residuated lattices, we show that the variety of De Morgan residuated lattices includes important subvarieties of residuated lattices such as Boolean algebras, MV-algebras, BL-algebras, Stonean residuated lattices, MTL-algebras and involution residuated lattices. We investigate specific properties of ideals in De Morgan residuated lattices, we state the prime ideal theorem and the pseudo-complementedness of the ideal...

On the Leibniz congruences

Josep Font (1993)

Banach Center Publications

The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability...

Polyadic algebras over nonclassical logics

Don Pigozzi, Antonino Salibra (1993)

Banach Center Publications

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.

Currently displaying 1 – 17 of 17

Page 1