scientific article; zbMATH DE number 1790413
From MaRDI portal
Publication:4549478
zbMATH Open1006.03026MaRDI QIDQ4549478FDOQ4549478
Publication date: 6 March 2003
Title of this publication is not available (Why is that?)
many-valued logicfuzzy logictruth degreeprovabilityHerbrand theoremMcNaughton theoremŁukasiewicz logic
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Cited In (6)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4549478)