Consequence Relations with Real Truth Values (Q5020171)
From MaRDI portal
scientific article; zbMATH DE number 7452006
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Consequence Relations with Real Truth Values |
scientific article; zbMATH DE number 7452006 |
Statements
Consequence Relations with Real Truth Values (English)
0 references
4 January 2022
0 references
Łukasiewicz logic
0 references
Łukasiewicz calculus
0 references
Wajsberg algebra
0 references
MV-algebra
0 references
Łukasiewicz axioms
0 references
Łukasiewicz implication
0 references
\([0, 1]\)-valued observable
0 references
modus ponens
0 references
consequentia mirabilis
0 references
differential semantics
0 references
stable semantics
0 references
0 references
