An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz (Q1061733)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz |
scientific article |
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
