EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Bxx General logic
03B22 Abstract deductive systems

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 3 of 3

Algebraic properties of pre-logics

Ivan Chajda, Radomír Halaš (2002)

Mathematica Slovaca

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

Axiomatizability in fuzzy logic

Pavelka, Jan (1977)

Abstracta. 5th Winter School on Abstract Analysis

Currently displaying 1 – 3 of 3

Page 1