Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics

  • Authors:
  • Reiner Hähnle

  • Affiliations:
  • -

  • Venue:
  • CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract