A constructive proof of McNaughton's theorem in infinite-valued logic

  • Authors:
  • Daniele Mundici

  • Affiliations:
  • -

  • Venue:
  • Journal of Symbolic Logic
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract