Anahit Chubaryan

Member since 2024-11-29

0 published articles

2 shared articles

35 downloads

375 views

Published with The Gufo

No articles published with The Gufo yet.

Shared with The Gufo

PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS

Anahit Chubaryan

Mathematics

ISSN: 1829-1740

DOI: 10.46991/PYSU:A/2022.56.2.058

Definition of Strong Equality ofTautologies and Universal System forVarious Propositional Logics

Anahit Chubaryan, Armine Chubaryan

Mathematics

Armenian Journal of MathematicsVolume 1, Number 2, 2008, 30–36

Published 2008-10-13