Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters

  • Authors:

  • Félix Bou

  • Affiliations:

  • -

  • Venue:
  • ISMVL '10 Proceedings of the 2010 40th IEEE International Symposium on Multiple-Valued Logic
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we axiomatize the formulas that, in the infinite-valued (standard) Lukasiewicz algebra, always take a value above certain fixed number. This generalizes the approach considered in the infinite-valued Lukasiewicz logic, where the fixed number is the maximum.