Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta

  • Authors:

  • Matthias Baaz;Norbert Preining;Richard Zach

  • Affiliations:

  • Technische Universitat Wien, Vienna, Austria;Universit`a di Siena, Italy;University of Calgary

  • Venue:
  • ISMVL '06 Proceedings of the 36th International Symposium on Multiple-Valued Logic
  • Year:
  • 2006

  • Gödel logics: a survey

    LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning

Quantified Score

Hi-index 0.00

Visualization

Abstract

All first-order G篓odel logics GV with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel ofV are axiomatized by Ciabattoni's hypersequent calculus HGIF [10].