On the Hilbert-Ackermann theorem in fuzzy logic
Novák, Vilém
Acta Mathematica et Informatica Universitatis Ostraviensis, Tome 04 (1996), p. 57-74 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1996-01-01
Classification:  03B50,  03B52 
@article{120505,
     author = {Vil\'em Nov\'ak},
     title = {On the Hilbert-Ackermann theorem in fuzzy logic},
     journal = {Acta Mathematica et Informatica Universitatis Ostraviensis},
     volume = {04},
     year = {1996},
     pages = {57-74},
     zbl = {0870.03008},
     mrnumber = {1446784},
     language = {en},
     url = {http://dml.mathdoc.fr/item/120505}
}

Novák, Vilém. On the Hilbert-Ackermann theorem in fuzzy logic. Acta Mathematica et Informatica Universitatis Ostraviensis, Tome 04 (1996) pp. 57-74. http://gdmltest.u-ga.fr/item/120505/

Chang C. C.; H. J. Keisler Model Theory, North-Holland, Amsterdam 1973. (1973) | Zbl 0276.02032

Goguen J. A. The logic of inexact concepts, Synthese 19 (1968-69), 325-373. (1968) | Article

Gottwald S. Mehrwertige Logik, Akademie-Verlag, Berlin 1989. (1989) | MR 1117450 | Zbl 0714.03022

Hajek P. Fuzzy logic and arithmetical hierarchy, Fuzzy Sets and Systems 73 (1995), 359-363. (1995) | Article | MR 1347824 | Zbl 0857.03011

Lehmke S. On Resolution-Based Theorem Proving in Propositional Fuzzy Logic with 'Bold' Connectives, Diploma thesis. University of Dortmund, Dortmund 1995. (1995)

Novák V. Fuzzy Sets and Their Applications, Adam-Hilger, Bristol, 1989. (1989) | MR 1019090

Novák V. On the Syntactico-Semantical Completeness of First-Order Fuzzy Logic. Part I - Syntactical Aspects, Kybernetika 26 (1990), 47-66. (1990) | MR 1042231

Novák V. On the Syntactico-Semantical Completeness of First-Order Fuzzy Logic. Part II - Main Results, Kybernetika 26 (1990), 134-154. (1990) | MR 1059796

Novák V. The Alternative Mathematical Model of Linguistic Semantics and Pragmatics, Plenum, New York, 1992. (1992) | MR 1213455

Novák V. On the logical basis of approximate reasoning, in V. Novák, J. Ramík, M. Mareš, M. Černý and J. Nekola, Eds.: Fuzzy Approach to Reasoning and Decision Making. Academia, Prague and Kluwer, Dordrecht 1992. (1992) | MR 1219743

Novák V. Fuzzy Logic As a Basis of Approximate Reasoning, In: Zadeh, L. A., Kacprzyk, J. Fuzzy Logic for the Management of Uncertainty. J. Wiley & Sons, New York 1992. (1992)

Novák V. Towards Formalized Integrated Theory of Fuzzy Logic, In: Bien Z., and K. Min (eds.), Fuzzy Logic and Its Applications to Engineering, Information Sciences, and Intelligent Systems, Kluwer, Dordrecht 1995, 353-363. (1995) | MR 1426861

Novák V. Ultraproduct Theorem and Recursive properties of Fuzzy Logic, In: Hohle U. and E. P. Klement (eds.), Non-Classical Logics and Their Applications to Fuzzy Subsets. A Handbook of the Mathematical Foundations of Fuzzy Set Theory, Kluwer, Dordrecht 1995, 341-370. (1995) | MR 1345649

Novák V. Fuzzy Logic Revisited, Proc. Int. Conference EUFIT'94, Verlag der Augustinus Buchhandlung, Aachen 1994, 496-499. (1994)

Novák V. A New Proof of Completeness of Fuzzy Logic and Some Conclusions for Approximate Reasoning, Proc. Int. Conference FUZZ-IEEE/IFES'95, Yokohama 1995, 1461-1468. (1995)

Novák V. Paradigm, Formal Properties and Limits of Fuzzy Logic, Int. J. of General Systems 24 (1996), 377 405. (1996) | Article

Pavelka J. On fuzzy logic I, II, III, Zeit. Math. Logic. Grundl. Math. 25 (1979), 45-52; 119-134; 447-464. (1979) | Article | MR 0524558

Rasiowa H.; R. Sikorski The Mathematics of Metamathematics, PWN, Warszawa 1963. (1963) | MR 0163850 | Zbl 0122.24311

Rose A.; J. B. Rosser Fragments of many-valued statement calculi, Trans. A.M.S. 87 (1958), 1-53. (1958) | Article | MR 0094299 | Zbl 0085.24303

Schwartz D. G. Axioms for a Theory of Semantic Equivalence, Fuzzy Sets and Systems 21 (1987), 319-349. (1987) | Article | MR 0879663 | Zbl 0626.03015

Shoenfield J. R. Mathematical Logic, Addison-Wesley, New York 1967. (1967) | MR 0225631 | Zbl 0155.01102