Pseudo-MV algebras. Zbl 1014.06008
Georgescu, George; Iorgulescu, Afrodita |
|
2001
|
Pseudo-BL algebras. I. Zbl 1028.06007
Di Nola, Antonio; Georgescu, George; Iorgulescu, Afrodita |
|
2002
|
Pseudo-BL algebras. II. Zbl 1028.06008
Di Nola, Antonio; Georgescu, George; Iorgulescu, Afrodita |
|
2002
|
Local BL-algebras. Zbl 1049.03045
Turunen, Esko; Sessa, Salvatore |
|
2001
|
Product MV-algebras. Zbl 1016.06006
Di Nola, A.; Dvurecenskij, A. |
|
2001
|
An algebraic analysis of product logic. Zbl 0962.03059
Cignoli, Roberto; Torrens, Antoni |
|
2000
|
A unifying field in logics: Neutrosophic logic. Zbl 1027.03506
Smarandache, Florentin |
|
2002
|
Multi-valued decision diagrams: Theory and applications. Zbl 1025.94515
Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L. |
|
1998
|
Slupecki subalgebras in coordinated products of iterative algebras. Zbl 0965.06013
Malcev, I. |
|
2000
|
Polynomial clones containing the Mal’tsev operation of the groups \(\mathbb{Z}_{p^2}\) and \(\mathbb{Z}_p\times\mathbb{Z}_p\). Zbl 1022.08001
Bulatov, Andrei A. |
|
2002
|
Monadic and closure MV-algebras. Zbl 0920.06004
Georgescu, George; Iorgulescu, Afrodita; Leuştean, Ioana |
|
1998
|
Fuzzy logic and the calculi of fuzzy rules and fuzzy graphs: A precis. Zbl 0906.03022
Zadeh, Lotfi A. |
|
1996
|
On the hypergroups associated with binary relations. Zbl 0999.20055
Corsini, Piergiulio |
|
2000
|
Extended t-norms as logical connectives of fuzzy truth values. Zbl 1024.03026
Kawaguchi, Mayuka F.; Miyakoshi, Masaaki |
|
2002
|
Pseudo-Wajsberg algebras. Zbl 1013.03074
Ceterchi, Rodica |
|
2001
|
Many-valued similarity reasoning. An axiomatic approach. Zbl 1040.68117
Kukkurainen, Paavo; Turunen, Esko |
|
2002
|
Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators. Zbl 1019.03003
Sofronie-Stokkermans, Viorica |
|
2001
|
Strongly rigid graphs and projectivity. Zbl 1009.05121
Larose, Benoit; Tardif, Claude |
|
2001
|
Hyperclones on a two-element set. Zbl 1025.08001
Machida, Hajime |
|
2002
|
Hypergroups and binary relations. Zbl 1044.20043
De Salvo, Mario; Lo Faro, Giovanni |
|
2002
|
Hyperclones on a finite set. Zbl 0939.08002
Romov, B. A. |
|
1998
|
The 2-SAT problem in signed CNF-formulas. Zbl 0992.03014
Manyà, Felip |
|
2000
|
Associative spectra of binary operations. Zbl 0999.20054
Csákány, Béla; Waldhauser, Tamás |
|
2000
|
Syntax of \(L\)-valued first-order logic \(L_{vfl}\). Zbl 1003.03525
Xu, Yang; Song, Zhenming; Qin, Keyun; Liu, Jun |
|
2001
|
Computing with solitons: A review and prospectus. Zbl 1007.68063
Jakubowski, Mariusz H.; Steiglitz, Ken; Squier, Richard |
|
2001
|
A simple computer embedded in a reversible and number-conserving two-dimensional cellular space. Zbl 1007.68126
Morita, Kenichi; Tojima, Yasuyuki; Imai, Katsunobu |
|
2001
|
Generalized Reed-Muller canonical form for a multiple-valued algebra. Zbl 1053.94587
Dubrova, E. V.; Muzio, J. C. |
|
1996
|
On the isomorphic lattices of fuzzy equivalence relations and fuzzy partitions. Zbl 0949.03525
Schmechel, Norbert |
|
1996
|
Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019
Cignoli, Roberto; Mundici, Daniele |
|
2001
|
Stipulations, multivalued logic, and De Morgan algebras. Zbl 1016.03068
Berman, J.; Blok, W. J. |
|
2001
|
Classes of Boolean functions defined by functional terms. Zbl 1016.06011
Pogosyan, Grant R. |
|
2001
|
A universal architecture for multiple-valued reversible logic. Zbl 0956.94032
Picton, P. D. |
|
2000
|
Essential variables and separable sets in universal algebra. Zbl 1022.08002
Shtrakov, Sl.; Denecke, K. |
|
2002
|
Polynomial reducts of modules. I. Rough classification. Zbl 0909.08003
Bulatov, A. A. |
|
1998
|
On mathematical foundations of fuzzy cluster analysis. Zbl 0899.92039
Thiele, Helmut |
|
1996
|
Many-valuedness and uncertainty. Zbl 0941.03024
Orlowska, Ewa |
|
1999
|
A note on Postian equations. Zbl 1011.06013
Banković, Dragić |
|
2001
|
Local classical behaviours in three-valued logics and connected systems. An information-oriented analysis. I. Zbl 0992.03032
Pagliani, Piero |
|
2000
|
Polynomial reducts of modules. II. Algebras of primitive and nilpotent functions. Zbl 0923.08002
Bulatov, A. A. |
|
1998
|
Combining hypothetical reasoning and plausible inference in possibilistic logic. Zbl 0892.68094
Dubois, Didier; Prade, Henri |
|
1996
|
Boolean lattices as intervals in clone lattices. Zbl 0881.08001
Krokhin, A. A. |
|
1997
|
Design of heuristic fuzzy logic controllers with guaranteed stability. Zbl 0943.93038
Leung, F. H. F.; Wong, L. K.; Tam, P. K. S. |
|
1998
|
On the contributions of Helena Rasiowa to mathematical logic. Zbl 0943.03001
Font, Josep Maria |
|
1999
|
A unified general Galois theory. Zbl 0991.08005
Rößiger, Martin |
|
2000
|
On the approximation realization of fuzzy closure mapping by multilayer regular fuzzy neural networks. Zbl 0999.68183
Liu, Puyin |
|
2000
|
Motion of particles in random media and many-dimensional Turing machines. Zbl 1007.68125
Bunimovich, Leonid A. |
|
2001
|
Stabilizers in Hilbert algebras. Zbl 1024.03065
Chajda, I.; Halaš, R. |
|
2002
|
BCC-algebras inherited from posets. Zbl 1032.06010
Halaš, Radomír |
|
2002
|
Continued fractions, fibered automata, and a theorem of Rosenberg. Zbl 1022.08003
Smith, Jonathan D. H. |
|
2002
|
Neutrosophy, a new branch of philosophy. Zbl 1027.03503
Smarandache, Florentin |
|
2002
|
A simple modal encoding of propositional finite many-valued logics. Zbl 0992.03031
Demri, Stéphane |
|
2000
|
Local classical behaviours in three-valued logics and connected systems. An information-oriented analysis. II. Zbl 1006.03021
Pagliani, Piero |
|
2001
|
The hyperringoid. Zbl 0933.16046
Massouros, Gerasimos G. |
|
1998
|
Orders admitting an isotone majority operation. Zbl 0894.06002
Füredi, Z.; Rosenberg, I. G. |
|
1998
|
Two examples of relative completeness. Zbl 0867.03009
Tošić, Ratko; Vojvodić, Gradimir; Mašulović, Dragan; Doroslovački, Rade; Rosić, Jovanka |
|
1996
|
Set-valued logic algebra: A carrier computing foundation. Zbl 0882.03020
Ngom, Alioune; Reischer, Corina; Simovici, Dan A.; Stojmenovic, Ivan |
|
1997
|
On the representation of partially symmetric Boolean functions by ordered multiple valued decision diagrams. Zbl 1025.94516
Sieling, Detlef; Wegener, Ingo |
|
1998
|
Using MTBDDs for discrete timed symbolic model checking. Zbl 0949.68108
Kropf, Thomas; Ruf, Jürgen |
|
1998
|
Multi-valued simulation of digital circuits with structurally synthesized binary decision diagrams. Zbl 1025.94513
Ubar, Raimund |
|
1998
|
On the depth of the intersection of two maximal partial clones. Zbl 0939.08001
Haddad, Lucien |
|
1998
|
A Swierczkowski-type property of affine multiple-valued functions on an elementary 2-group. Zbl 0943.08002
Pouzet, Maurice; Rosenberg, Ivo G.; Stone, Michael G. |
|
1998
|
Natural deduction systems for Rosser-Turquette many-valued logic. Zbl 0948.03016
Konikowska, Beata |
|
1999
|
Easily testable multiple-valued Galois field sum-of-products circuits. Zbl 1003.94541
Kalay, Ugur; Hall, Douglas V.; Perkowski, Marek A. |
|
2000
|
Prime ideals and polars in generalized MV-algebras. Zbl 1028.06006
Rachůnek, Jiří |
|
2002
|
Open questions on neutrosophic inference. Zbl 1027.03505
Dezert, Jean |
|
2002
|
Logic FL4 with falsehood operator. Zbl 0991.03030
Pavlov, Sergey A. |
|
2000
|
The cardinality of the set of clones containing unary minimal clones on the three element set. Zbl 0993.08006
Pantović, Jovanka; Vojvodić, Dušan |
|
2000
|
Clone coverings and invertible operations. Zbl 0993.08005
Larose, Benoit |
|
2000
|
Design of fuzzy observer-controllers for multivariable uncertain systems using stability and robustness analyses. Zbl 1015.93522
Lam, H. K.; Leung, F. H. F.; Tam, P. K. S. |
|
2000
|
Back to the universality of the billiard ball model. Zbl 1007.68124
Durand-Lose, Jérôme O. |
|
2001
|
Pseudo-BL algebras. I. Zbl 1028.06007
Di Nola, Antonio; Georgescu, George; Iorgulescu, Afrodita |
|
2002
|
Pseudo-BL algebras. II. Zbl 1028.06008
Di Nola, Antonio; Georgescu, George; Iorgulescu, Afrodita |
|
2002
|
A unifying field in logics: Neutrosophic logic. Zbl 1027.03506
Smarandache, Florentin |
|
2002
|
Polynomial clones containing the Mal’tsev operation of the groups \(\mathbb{Z}_{p^2}\) and \(\mathbb{Z}_p\times\mathbb{Z}_p\). Zbl 1022.08001
Bulatov, Andrei A. |
|
2002
|
Extended t-norms as logical connectives of fuzzy truth values. Zbl 1024.03026
Kawaguchi, Mayuka F.; Miyakoshi, Masaaki |
|
2002
|
Many-valued similarity reasoning. An axiomatic approach. Zbl 1040.68117
Kukkurainen, Paavo; Turunen, Esko |
|
2002
|
Hyperclones on a two-element set. Zbl 1025.08001
Machida, Hajime |
|
2002
|
Hypergroups and binary relations. Zbl 1044.20043
De Salvo, Mario; Lo Faro, Giovanni |
|
2002
|
Essential variables and separable sets in universal algebra. Zbl 1022.08002
Shtrakov, Sl.; Denecke, K. |
|
2002
|
Stabilizers in Hilbert algebras. Zbl 1024.03065
Chajda, I.; Halaš, R. |
|
2002
|
BCC-algebras inherited from posets. Zbl 1032.06010
Halaš, Radomír |
|
2002
|
Continued fractions, fibered automata, and a theorem of Rosenberg. Zbl 1022.08003
Smith, Jonathan D. H. |
|
2002
|
Neutrosophy, a new branch of philosophy. Zbl 1027.03503
Smarandache, Florentin |
|
2002
|
Prime ideals and polars in generalized MV-algebras. Zbl 1028.06006
Rachůnek, Jiří |
|
2002
|
Open questions on neutrosophic inference. Zbl 1027.03505
Dezert, Jean |
|
2002
|
Pseudo-MV algebras. Zbl 1014.06008
Georgescu, George; Iorgulescu, Afrodita |
|
2001
|
Local BL-algebras. Zbl 1049.03045
Turunen, Esko; Sessa, Salvatore |
|
2001
|
Product MV-algebras. Zbl 1016.06006
Di Nola, A.; Dvurecenskij, A. |
|
2001
|
Pseudo-Wajsberg algebras. Zbl 1013.03074
Ceterchi, Rodica |
|
2001
|
Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators. Zbl 1019.03003
Sofronie-Stokkermans, Viorica |
|
2001
|
Strongly rigid graphs and projectivity. Zbl 1009.05121
Larose, Benoit; Tardif, Claude |
|
2001
|
Syntax of \(L\)-valued first-order logic \(L_{vfl}\). Zbl 1003.03525
Xu, Yang; Song, Zhenming; Qin, Keyun; Liu, Jun |
|
2001
|
Computing with solitons: A review and prospectus. Zbl 1007.68063
Jakubowski, Mariusz H.; Steiglitz, Ken; Squier, Richard |
|
2001
|
A simple computer embedded in a reversible and number-conserving two-dimensional cellular space. Zbl 1007.68126
Morita, Kenichi; Tojima, Yasuyuki; Imai, Katsunobu |
|
2001
|
Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019
Cignoli, Roberto; Mundici, Daniele |
|
2001
|
Stipulations, multivalued logic, and De Morgan algebras. Zbl 1016.03068
Berman, J.; Blok, W. J. |
|
2001
|
Classes of Boolean functions defined by functional terms. Zbl 1016.06011
Pogosyan, Grant R. |
|
2001
|
A note on Postian equations. Zbl 1011.06013
Banković, Dragić |
|
2001
|
Motion of particles in random media and many-dimensional Turing machines. Zbl 1007.68125
Bunimovich, Leonid A. |
|
2001
|
Local classical behaviours in three-valued logics and connected systems. An information-oriented analysis. II. Zbl 1006.03021
Pagliani, Piero |
|
2001
|
Back to the universality of the billiard ball model. Zbl 1007.68124
Durand-Lose, Jérôme O. |
|
2001
|
An algebraic analysis of product logic. Zbl 0962.03059
Cignoli, Roberto; Torrens, Antoni |
|
2000
|
Slupecki subalgebras in coordinated products of iterative algebras. Zbl 0965.06013
Malcev, I. |
|
2000
|
On the hypergroups associated with binary relations. Zbl 0999.20055
Corsini, Piergiulio |
|
2000
|
The 2-SAT problem in signed CNF-formulas. Zbl 0992.03014
Manyà, Felip |
|
2000
|
Associative spectra of binary operations. Zbl 0999.20054
Csákány, Béla; Waldhauser, Tamás |
|
2000
|
A universal architecture for multiple-valued reversible logic. Zbl 0956.94032
Picton, P. D. |
|
2000
|
Local classical behaviours in three-valued logics and connected systems. An information-oriented analysis. I. Zbl 0992.03032
Pagliani, Piero |
|
2000
|
A unified general Galois theory. Zbl 0991.08005
Rößiger, Martin |
|
2000
|
On the approximation realization of fuzzy closure mapping by multilayer regular fuzzy neural networks. Zbl 0999.68183
Liu, Puyin |
|
2000
|
A simple modal encoding of propositional finite many-valued logics. Zbl 0992.03031
Demri, Stéphane |
|
2000
|
Easily testable multiple-valued Galois field sum-of-products circuits. Zbl 1003.94541
Kalay, Ugur; Hall, Douglas V.; Perkowski, Marek A. |
|
2000
|
Logic FL4 with falsehood operator. Zbl 0991.03030
Pavlov, Sergey A. |
|
2000
|
The cardinality of the set of clones containing unary minimal clones on the three element set. Zbl 0993.08006
Pantović, Jovanka; Vojvodić, Dušan |
|
2000
|
Clone coverings and invertible operations. Zbl 0993.08005
Larose, Benoit |
|
2000
|
Design of fuzzy observer-controllers for multivariable uncertain systems using stability and robustness analyses. Zbl 1015.93522
Lam, H. K.; Leung, F. H. F.; Tam, P. K. S. |
|
2000
|
Many-valuedness and uncertainty. Zbl 0941.03024
Orlowska, Ewa |
|
1999
|
On the contributions of Helena Rasiowa to mathematical logic. Zbl 0943.03001
Font, Josep Maria |
|
1999
|
Natural deduction systems for Rosser-Turquette many-valued logic. Zbl 0948.03016
Konikowska, Beata |
|
1999
|
Multi-valued decision diagrams: Theory and applications. Zbl 1025.94515
Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L. |
|
1998
|
Monadic and closure MV-algebras. Zbl 0920.06004
Georgescu, George; Iorgulescu, Afrodita; Leuştean, Ioana |
|
1998
|
Hyperclones on a finite set. Zbl 0939.08002
Romov, B. A. |
|
1998
|
Polynomial reducts of modules. I. Rough classification. Zbl 0909.08003
Bulatov, A. A. |
|
1998
|
Polynomial reducts of modules. II. Algebras of primitive and nilpotent functions. Zbl 0923.08002
Bulatov, A. A. |
|
1998
|
Design of heuristic fuzzy logic controllers with guaranteed stability. Zbl 0943.93038
Leung, F. H. F.; Wong, L. K.; Tam, P. K. S. |
|
1998
|
The hyperringoid. Zbl 0933.16046
Massouros, Gerasimos G. |
|
1998
|
Orders admitting an isotone majority operation. Zbl 0894.06002
Füredi, Z.; Rosenberg, I. G. |
|
1998
|
On the representation of partially symmetric Boolean functions by ordered multiple valued decision diagrams. Zbl 1025.94516
Sieling, Detlef; Wegener, Ingo |
|
1998
|
Using MTBDDs for discrete timed symbolic model checking. Zbl 0949.68108
Kropf, Thomas; Ruf, Jürgen |
|
1998
|
Multi-valued simulation of digital circuits with structurally synthesized binary decision diagrams. Zbl 1025.94513
Ubar, Raimund |
|
1998
|
On the depth of the intersection of two maximal partial clones. Zbl 0939.08001
Haddad, Lucien |
|
1998
|
A Swierczkowski-type property of affine multiple-valued functions on an elementary 2-group. Zbl 0943.08002
Pouzet, Maurice; Rosenberg, Ivo G.; Stone, Michael G. |
|
1998
|
Boolean lattices as intervals in clone lattices. Zbl 0881.08001
Krokhin, A. A. |
|
1997
|
Set-valued logic algebra: A carrier computing foundation. Zbl 0882.03020
Ngom, Alioune; Reischer, Corina; Simovici, Dan A.; Stojmenovic, Ivan |
|
1997
|
Fuzzy logic and the calculi of fuzzy rules and fuzzy graphs: A precis. Zbl 0906.03022
Zadeh, Lotfi A. |
|
1996
|
Generalized Reed-Muller canonical form for a multiple-valued algebra. Zbl 1053.94587
Dubrova, E. V.; Muzio, J. C. |
|
1996
|
On the isomorphic lattices of fuzzy equivalence relations and fuzzy partitions. Zbl 0949.03525
Schmechel, Norbert |
|
1996
|
On mathematical foundations of fuzzy cluster analysis. Zbl 0899.92039
Thiele, Helmut |
|
1996
|
Combining hypothetical reasoning and plausible inference in possibilistic logic. Zbl 0892.68094
Dubois, Didier; Prade, Henri |
|
1996
|
Two examples of relative completeness. Zbl 0867.03009
Tošić, Ratko; Vojvodić, Gradimir; Mašulović, Dragan; Doroslovački, Rade; Rosić, Jovanka |
|
1996
|