infinite-valued Łukasiewicz logic

URI: https://gptkb.org/entity/infinite-valued_Łukasiewicz_logic
GPTKB entity
Statements (29)
Predicate Object
gptkbp:instanceOf gptkb:logic
many-valued logic
gptkbp:characteristic continuous-valued logic
generalizes classical logic
truth values are infinitely many
truth values are real numbers between 0 and 1
gptkbp:generalizes gptkb:finite-valued_Łukasiewicz_logic
gptkbp:hasAlgebraicStructure MV-algebra
gptkbp:hasApplication gptkb:artificial_intelligence
control theory
decision making
approximate reasoning
gptkbp:hasAxiomatizationBy gptkb:Jan_Łukasiewicz
gptkbp:hasConnective gptkb:Łukasiewicz_conjunction
gptkb:Łukasiewicz_disjunction
gptkb:Łukasiewicz_implication
gptkb:Łukasiewicz_negation
gptkbp:hasSemantics algebraic semantics
gptkbp:hasSubfield gptkb:logic
gptkbp:hasTruthValues [0,1] real interval
https://www.w3.org/2000/01/rdf-schema#label infinite-valued Łukasiewicz logic
gptkbp:introducedIn 1920
gptkbp:namedAfter gptkb:Jan_Łukasiewicz
gptkbp:relatedTo gptkb:Gödel_logic
gptkb:fuzzy_set_theory
product logic
gptkbp:usedIn fuzzy logic
gptkbp:bfsParent gptkb:Lukasiewicz_logic
gptkbp:bfsLayer 5