Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324)
From MaRDI portal
scientific article; zbMATH DE number 6982555
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form |
scientific article; zbMATH DE number 6982555 |
Statements
Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (English)
0 references
21 November 2018
0 references
fuzzy logic
0 references
infinite-valued first-order Łukasiewicz logic
0 references
rational first-order Pavelka logic
0 references
hypersequent calculus
0 references
proof search algorithm
0 references
