scientific article; zbMATH DE number 1790411

MaRDI QIDQ4549476zbMATH OpenFDO

Authors Stephan Lehmke

Publication date 25 February 2003

zbMATH Keywords

multi-valued truthmulti-valued validity

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Review text

The author proposes a first approach to formalize a logical apparatus which makes the concepts of truth and validity, independently from each other, multi-valued. Two axiom systems of such logics are given together with some characterization theorems. Some examples illustrate the main similarities and differences between these logics. For the entire collection see [Zbl 0979.00015].

Recommendations

• Taking degrees of truth seriously
• Logics preserving degrees of truth
• Theory of truth degrees of propositions in two-valued logic
• scientific article; zbMATH DE number 4143946
• Truth degree of a logic theory in propositional logic system and its application

Cited in

(10)

• On very true
• Levels of truth
• Gradualness, uncertainty and bipolarity: making sense of fuzzy sets
• Validity in a dialetheist framework
• Validity in Simple Partial Logic
• On degrees of justification
• Strict-choice validities: A note on a familiar pluralism
• Transparent truth-value predicates in multi-valued logics
• Possibilistic logic: a retrospective and prospective view
• Degrees of relative provability

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 Q4549476)