Open AccessInvestigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Author(s) -
Anahit Chubaryan,
Artur Khamisyan,
Garik Petrosyan
Publication year - 2019
Publication title -
transactions on machine learning and artificial intelligence
Language(s) - English
Resource type - Journals
ISSN - 2054-7390
DOI - 10.14738/tmlai.71.6187
Subject(s) - proof complexity , direct proof , structural proof theory , proof of concept , proof theory , mathematics , combinatorial proof , computer assisted proof , mathematical proof , analytic proof , discrete mathematics , computer science , geometry , operating system