On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics

Vilém Novák

Kybernetika (1990)

  • Volume: 26, Issue: 1, page 47-66
  • ISSN: 0023-5954

How to cite

top

Novák, Vilém. "On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics." Kybernetika 26.1 (1990): 47-66. <http://eudml.org/doc/27374>.

@article{Novák1990,
author = {Novák, Vilém},
journal = {Kybernetika},
keywords = {fuzzy elementary theory; fuzzy set of nonlogical axioms; proof; logical consequence},
language = {eng},
number = {1},
pages = {47-66},
publisher = {Institute of Information Theory and Automation AS CR},
title = {On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics},
url = {http://eudml.org/doc/27374},
volume = {26},
year = {1990},
}

TY - JOUR
AU - Novák, Vilém
TI - On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics
JO - Kybernetika
PY - 1990
PB - Institute of Information Theory and Automation AS CR
VL - 26
IS - 1
SP - 47
EP - 66
LA - eng
KW - fuzzy elementary theory; fuzzy set of nonlogical axioms; proof; logical consequence
UR - http://eudml.org/doc/27374
ER -

References

top
  1. J. F. Baldwin, Fuzzy logic and fuzzy reasoning, Internat. J. Man-Mach. Stud. 11 (1979), 465-480. (1979) Zbl0418.03014MR0542593
  2. C. C. Chang, H. J. Keisler, Continuous Model Theory, Princeton University Press, Princeton 1966. (1966) Zbl0149.00402MR0231708
  3. C. C. Chang, H. J. Keisler, Model Theory, North-Holland, Amsterdam 1973. (1973) Zbl0276.02032
  4. B. R. Gainess, Foundations of fuzzy reasoning, Internat. J. Man-Mach. Stud. 8 (1976), 623-668. (1976) MR0574083
  5. J. A. Goguen, The logic of inexact concepts, Synthese 19 (1968-69), 325-373. (1968) 
  6. V. Novák, Fuzzy Sets and Their Applications, Adam Hilger, Bristol 1989. (1989) MR1019090
  7. V. Novák, W. Pedrycz, Fuzzy sets and t-norms in the light of fuzzy logic, Internat. J. Man-Mach. Stud. 28 (1988). (1988) 
  8. V. Novák, On the syntactico-semantical completeness of first-order fuzzy logic, Part II: Main results. Kybernetika 26 (1990), No. 2 (to appear). (1990) MR1059796
  9. J. Pavelka, On fuzzy logic I, II, III, Z. Math. Logik Grundlag. Math. 25 (1979), 45-52; 119-134; 447-464. (1979) MR0524558
  10. H. Rasiowa, R. Sikorski, The Mathematics of Meta-mathematics, PWN, Warszawa 1963. (1963) 
  11. J. R. Shoenfield, Mathematical Logic, Addison-Wesley, New York 1967. (1967) Zbl0155.01102MR0225631

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.