An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz (Q1061733)
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: An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz |
scientific article; zbMATH DE number 3910369
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz |
scientific article; zbMATH DE number 3910369 |
Statements
An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz (English)
0 references
1984
0 references
For the equivalential fragment of the 3-valued Łukasiewicz logic an axiomatization is given. The author adroitly uses the known axiomatizations for the equivalential fragment of the intuitionistic propositional logic and for the variety of algebras corresponding to the equivalential fragment of the 3-valued Heyting logic.
0 references
equivalential logic
0 references
Łukasiewicz logic
0 references
intuitionistic propositional logic
0 references
Heyting logic
0 references
