Definition of Strong Equality ofTautologies and Universal System forVarious Propositional Logics

Author(s)

Definition of Strong Equality ofTautologies and Universal System forVarious Propositional Logics Anahit Chubaryan

Earlier we have introduced a definition of strong equal-ity of classical tautologies, according to which two tautologies areequal iff they have the same hardness. The strong equality im-plies well known equality, but not vice versa. The strong equalityis based on the notion of determinitive conjunct, using of whichsome new deduction system for classical propositional logic weredefined. Here the notions of strong equality of tautologies for var-ious logics are suggested and the idea of construction of universaldeduction system for various propositional logics is given.

DOI: https://armjmath.sci.am/index.php/ajm/article/view/25 Armenian Journal of MathematicsVolume 1, Number 2 30–36

Download PDF

Keywords

Strong equality of tautologies, determinative conjunct,determinative bijunction normal form, universal system for proposi-tional logic

Check for updates

Share

Contact admin with any questions, comments or concerns

[email protected]