03 Mathematical logic and foundations
03B50 Many-valued logic (34 articles)
-
Paad, Akbar:
New kinds of hybrid filters of EQ-algebras.
(English).
Mathematica Bohemica,
vol. 149
(2024),
issue 1,
pp. 105-127
-
Gavala, Cyril; Ploščica, Miroslav; Varga, Ivana:
Congruence preserving operations on the ring $\mathbb {Z}_{p^3}$.
(English).
Mathematica Bohemica,
vol. 148
(2023),
issue 4,
pp. 519-535
-
Fernández, Víctor:
A Kalmár-style completeness proof for the logics of the hierarchy ${\mathbb{I}}^n {\mathbb{P}}^k$.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 64
(2023),
issue 4,
pp. 485-509
-
Zahiri, Saeide; Borumand Saeid, Arsham:
An investigation on the $n$-fold IVRL-filters in triangle algebras.
(English).
Mathematica Bohemica,
vol. 145
(2020),
issue 1,
pp. 75-91
-
Emanovský, P.; Rachůnek, J.:
A non commutative generalization of $\star$-autonomous lattices.
(English).
Czechoslovak Mathematical Journal,
vol. 58
(2008),
issue 3,
pp. 725-740
-
Riečan, Beloslav:
On some contributions to quantum structures by fuzzy sets.
(English).
Kybernetika,
vol. 43
(2007),
issue 4,
pp. 481-490
-
Dvurečenskij, Anatolij:
Holland’s theorem for pseudo-effect algebras.
(English).
Czechoslovak Mathematical Journal,
vol. 56
(2006),
issue 1,
pp. 47-59
-
Marra, Vincenzo; Mundici, Daniele:
Riemann average truth-value of Łukasiewicz formulas.
(English).
Mathematica Slovaca,
vol. 56
(2006),
issue 5,
pp. 511-524
-
Di Nola, Antonio; Dvurečenskij, Anatolij; Hyčko, Marek; Manara, Corrado:
Entropy on effect algebras with Riesz decomposition property II: MV-algebras.
(English).
Kybernetika,
vol. 41
(2005),
issue 2,
pp. [161]-176
-
Di Nola, Antonio; Dvurečenskij, Anatolij; Hyčko, Marek; Manara, Corrado:
Entropy on effect algebras with the Riesz decomposition property I: Basic properties.
(English).
Kybernetika,
vol. 41
(2005),
issue 2,
pp. [143]-160
-
Riečanová, Zdenka; Marinová, Ivica:
Generalized homogeneous, prelattice and MV-effect algebras.
(English).
Kybernetika,
vol. 41
(2005),
issue 2,
pp. [129]-142
-
Vojtáš, Peter; Horváth, Tomáš; Krajči, Stanislav; Lencses, Rastislav:
An ILP model for a monotone graded classification problem.
(English).
Kybernetika,
vol. 40
(2004),
issue 3,
pp. [317]-332
-
Nola, Antonio Di; Dvurečenskij, Anatolij:
$MV$-test spaces versus $MV$-algebras.
(English).
Czechoslovak Mathematical Journal,
vol. 54
(2004),
issue 1,
pp. 189-203
-
Dvurečenskij, Anatolij:
States on pseudo-effect algebras with general comparability.
(English).
Kybernetika,
vol. 40
(2004),
issue 4,
pp. [397]-420
-
Bělohlávek, Radim:
Boolean part of BL-algebras.
(English).
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica,
vol. 42
(2003),
issue 1,
pp. 7-11
-
Daňková, Martina:
Representation of logic formulas by normal forms.
(English).
Kybernetika,
vol. 38
(2002),
issue 6,
pp. [717]-728
-
Rachůnek, Jiří; Švrček, Filip:
MV-algebras with additive closure operators.
(English).
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica,
vol. 39
(2000),
issue 1,
pp. 183-189
-
Kramosil, Ivan:
Probabilistic propositional calculus with doubled nonstandard semantics.
(English).
Kybernetika,
vol. 35
(1999),
issue 2,
pp. [195]-207
-
Rachůnek, Jiří:
DRl-semigroups and $MV$-algebras.
(English).
Czechoslovak Mathematical Journal,
vol. 48
(1998),
issue 2,
pp. 365-372
-
Głazek, Kazimierz:
A certain Galois connection and weak automorphisms.
(English).
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica,
vol. 36
(1997),
issue 1,
pp. 15-26
-
Novák, Vilém:
On the Hilbert-Ackermann theorem in fuzzy logic.
(English).
Acta Mathematica et Informatica Universitatis Ostraviensis,
vol. 4
(1996),
issue 1,
pp. 57-74
-
Jakubík, Ján:
Direct product decomposition of $MV$-algebras.
(English).
Czechoslovak Mathematical Journal,
vol. 44
(1994),
issue 4,
pp. 725-739
-
Turunen, Esko:
The algebra of first-order fuzzy logic.
(English).
Kybernetika,
vol. 28
(1992),
issue 6,
pp. 506-511
-
Novák, Vilém:
On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics.
(English).
Kybernetika,
vol. 26
(1990),
issue 1,
pp. 47-66
-
Novák, Vilém:
On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results.
(English).
Kybernetika,
vol. 26
(1990),
issue 2,
pp. 134-154
-
Ivánek, Jiří; Švenda, Josef; Ferjenčík, Jan:
Inference in expert systems based on complete multivalued logic.
(English).
Kybernetika,
vol. 25
(1989),
issue 7,
pp. 25-32
-
Hromkovič, Juraj:
On the number of monotonic functions from two-valued logic to $k$-valued logic.
(English).
Kybernetika,
vol. 21
(1985),
issue 3,
pp. 228-234
-
-
Kramosil, Ivan:
Three semantical interpretations of a statistical theoremhood testing procedure.
(English).
Kybernetika,
vol. 18
(1982),
issue 5,
pp. 440-446
-
Bendová, Kamila:
On the relation of three-valued logic to modal logic.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 22
(1981),
issue 4,
pp. 637-653
-
Szendrei, Ágnes:
On closed classes of quasilinear functions.
(English).
Czechoslovak Mathematical Journal,
vol. 30
(1980),
issue 3,
pp. 498-509
-
Šajda, Jozef:
On probability of first order formulas in a given model.
(English).
Kybernetika,
vol. 15
(1979),
issue 4,
pp. (261)-271
-
Rauch, Jan:
Ein Beitrag zu der GUHA Methode in der dreiwertigen Logik.
(German) [A remark to the GUHA method in the three-valued logic].
Kybernetika,
vol. 11
(1975),
issue 2,
pp. (101)-113
-
Sade, A.:
Sur le premier système de Lukasiewicz.
(French) [On the first system of Lukasiewicz].
Archivum Mathematicum,
vol. 5
(1969),
issue 4,
pp. 207-214