Deutsch
 
Benutzerhandbuch Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Zeitschriftenartikel

An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics

MPG-Autoren
/persons/resource/persons45763

Wu,  Jinzhao
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Wu, J., Tan, H., & Li, Y. (1998). An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. Journal of Applied Non-Classical Logics, 8(4), 353-360.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-000F-3813-C
Zusammenfassung
To decide whether a propositional formula can be deduced from a finite set of formulas in a given many-valued logic system, we only need to decide whether a polynomial vanishes on an algebraic variety. By using Wu's method, we present an algorithm for this deduction problem.