Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297)
From MaRDI portal
scientific article; zbMATH DE number 7706073
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic |
scientific article; zbMATH DE number 7706073 |
Statements
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (English)
0 references
3 July 2023
0 references
many-valued logic
0 references
mathematical fuzzy logic
0 references
first-order infinite-valued Łukasiewicz logic
0 references
first-order rational Pavelka logic
0 references
proof theory
0 references
Hilbert-type calculus
0 references
Gentzen-type hypersequent calculus
0 references
density elimination
0 references
conservative extension
0 references
0 references
