03 Mathematical logic and foundations
03B22 Abstract deductive systems (5 articles)
-
Holdon, Liviu-Constantin:
On ideals in De Morgan residuated lattices.
(English).
Kybernetika,
vol. 54
(2018),
issue 3,
pp. 443-475
-
Chajda, Ivan:
Generalized deductive systems in subregular varieties.
(English).
Mathematica Bohemica,
vol. 128
(2003),
issue 3,
pp. 319-324
-
Chajda, Ivan; Halaš, Radomír:
Algebraic properties of pre-logics.
(English).
Mathematica Slovaca,
vol. 52
(2002),
issue 2,
pp. 157-175
-
Chajda, I.; Halaš, R.; Jun, Y. B.:
Annihilators and deductive systems in commutative Hilbert algebras.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 43
(2002),
issue 3,
pp. 407-417
-