Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008)
From MaRDI portal
scientific article; zbMATH DE number 5212131
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions |
scientific article; zbMATH DE number 5212131 |
Statements
Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (English)
0 references
15 November 2007
0 references
