Linear Logic and Lukasiewicz ℵ<sub>0</sub>- Valued Logic: A Logico-Algebraic Study (Q4443011)
From MaRDI portal
scientific article; zbMATH DE number 2024289
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear Logic and Lukasiewicz ℵ<sub>0</sub>- Valued Logic: A Logico-Algebraic Study |
scientific article; zbMATH DE number 2024289 |
Statements
Linear Logic and Lukasiewicz ℵ<sub>0</sub>- Valued Logic: A Logico-Algebraic Study (English)
0 references
8 January 2004
0 references
infinite-valued logic
0 references
Łukasiewicz logic
0 references
MV-algebras
0 references
CL-algebra
0 references
sequent calculus
0 references
linear logic
0 references
