Armenian Journal of Mathematics

Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics

Chubaryan, Anahit and Chubaryan, Armine (2008) Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics. Armenian Journal of Mathematics, 1 (2). pp. 30-36. ISSN 1829-1163

[img]
Preview
PDF (Chubaryan) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
87Kb

Abstract

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 conjunct, using of which some new deduction system for classical propositional logic were defined. Here the notions of strong equality of tautologies for various logics are suggested and the idea of construction of universal deduction system for various propositional logics is given.

Item Type:Article
Subjects:03-xx Mathematical logic and foundations
ID Code:34
Deposited By:Professor Anry Nersesyan
Deposited On:13 Oct 2008 12:15
Last Modified:19 Apr 2011 02:22

Repository Staff Only: item control page