Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics
Earlier we have introduced a definition of strong equality of classical tautologies, according to which two tautologies are equal iff they have the same hardness. The strong equality implies well known equality, but not vice versa. The strong equality is based on the notion of determinitive conjunc...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Republic of Armenia National Academy of Sciences
2008-10-01
|
| Series: | Armenian Journal of Mathematics |
| Online Access: | http://armjmath.sci.am/index.php/ajm/article/view/25 |