Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Chubaryan, Anahit A."'
Publikováno v:
Pattern Recognition & Image Analysis; Mar2024, Vol. 34 Issue 1, p20-30, 11p
Publikováno v:
Journal of Asian Scientific Research. 8:61-72
In this paper we investigate two properties of some propositional systems of Intuitionistic, Johansson’s and Monotone logics: 1) the relations between the proofs complexities of strongly equal tautologies (valid sequents) and 2) the relations betwe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cefbe34ccd961f10f1557f44ab4c3d7e
https://doi.org/10.18488/journal.2.2018.82.61.72
https://doi.org/10.18488/journal.2.2018.82.61.72
Autor:
Chubaryan, Anahit, Khamisyan, Artur
Publikováno v:
Iran Journal of Computer Science; Mar2019, Vol. 2 Issue 1, p1-8, 8p
Autor:
Khamisyan Artur, Chubaryan Anahit
Publikováno v:
Pure and Applied Mathematics Journal. 6:71
This paper focuses on the problem of constructing of some standard Hilbert style proof systems for any version of many valued propositional logic. The generalization of Kalmar’s proof of deducibility for two valued tautologies inside classical prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::78eaffcd429a089f02efd5e8cf708f64
https://doi.org/10.11648/j.pamj.20170602.12
https://doi.org/10.11648/j.pamj.20170602.12