Soft Computing

, Volume 4, Issue 2, pp 103–105 | Cite as

On inter-expressibility of logical connectives in Gödel fuzzy logic

  • V. Švejdar
  • K. Bendová
Original paper


 In Gödel fuzzy propositional logic, neither conjunction nor implication is expressible (definable) in terms of the remaining three logical connectives.

Key words fuzzy logic logical connectives Kripke models definability 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • V. Švejdar
    • 1
  • K. Bendová
    • 2
  1. 1.Philosophical Faculty of Charles University, Praha, and Institute of Computer Science of the Academy of Sciences of the Czech Republic, Praha E-mail: vitezslav.svejdar@cuni.c2
  2. 2.Philosophical Faculty of Charles University, Praha

Personalised recommendations