A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 (Q2236505)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 |
scientific article |
Statements
A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 (English)
0 references
25 October 2021
0 references
3-valued logic
0 references
Kleene's strong 3-valued logic
0 references
Łukasiewicz's 3-valued logic
0 references
functional completeness
0 references
variable-sharing property
0 references
natural conditionals
0 references
