Armenian Journal of MathematicsVolume 1, Number 2
2008; 30–36
Shared with The Gufo

Definition of Strong Equality ofTautologies and Universal System forVarious Propositional Logics

Anahit Chubaryan*, Armine Chubaryan

Received: 2024-11-29 · Published: 2008-10-13

© 2008 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
Definition of Strong Equality ofTautologies and Universal System forVarious Propositional Logics
Authors
Anahit Chubaryan, Armine Chubaryan
Source journal
Armenian Journal of MathematicsVolume 1, Number 2
Published
2008-10-13
Licence
Creative Commons Attribution 4.0 International
Original
https://armjmath.sci.am/index.php/ajm/article/view/25

Abstract

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.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates