Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form (Q4558324)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: 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
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.895050048828125
0 references
0.8939807415008545
0 references
0.7929750680923462
0 references
0.7902494668960571
0 references
0.7567303776741028
0 references
