Zobrazeno 1 - 10
of 68
pro vyhledávání: '"Bokov, A. V."'
Autor:
Salamatin, D. A., Krasnorussky, V. N., Semeno, A. V., Bokov, A. V., Velichkov, A., Surowiec, Z., Tsvyashchenko, A. V.
The magnetic $H$-$T$ phase diagram and magnetocaloric effect in the recently discovered high-temperature heavy-fermion compound YbCoC$_2$ have been studied. With the increase in the external magnetic field YbCoC$_2$ experiences the metamagnetic trans
Externí odkaz:
http://arxiv.org/abs/2303.07802
Autor:
Bokov, Grigoriy V.
This paper is devoted to the complexity of the quantified boolean formula problem. We describe a simple deterministic algorithm that, for a given quantified boolean formula $F$, stops in time bounded by $O(|F|^4)$ and answers yes if $F$ is true and n
Externí odkaz:
http://arxiv.org/abs/1807.07005
Autor:
Bokov, Grigoriy V.
This paper is devoted to the complexity of the Boolean satisfiability problem. We consider a version of this problem, where the Boolean formula is specified in the conjunctive normal form. We prove an unexpected result that the CNF-satisfiability pro
Externí odkaz:
http://arxiv.org/abs/1804.02478
Autor:
Bokov, Grigoriy V.
In this paper, we consider the complexity of propositional proofs of classical and intuitionistic tautologies. In fact, we describe a nondeterministic polynomial-time decision procedure for intuitionistic implicational tautologies. For this purpose,
Externí odkaz:
http://arxiv.org/abs/1609.04218
Autor:
Bokov, Grigoriy V.
In this paper, we consider iterative propositional calculi, which are finite sets of propositional formulas together with the rules of modus ponens and weak substitution (when formula being substituted must be already inferred). We construct an undec
Externí odkaz:
http://arxiv.org/abs/1504.05728
Autor:
Bokov, Grigoriy V.
In this paper, we construct an undecidable 3-variable superintuitionistic propositional calculus, i.e., a finitely axiomatizable extension of the intuitionistic propositional calculus with axioms containing only 3 variables. Since there are no 2-vari
Externí odkaz:
http://arxiv.org/abs/1504.03358
Autor:
Bokov, Grigoriy V.
In this article, we deal with propositional calculi over a signature containing the classical implication $\to$ with the rules of modus ponens and substitution. For these calculi we consider few recognizing problems such as recognizing derivations, e
Externí odkaz:
http://arxiv.org/abs/1502.00978
Autor:
Bokov, A. V.1,2 (AUTHOR) av.bokov@yandex.ru, Magnitskaya, M. V.1,3 (AUTHOR), Salamatin, D. A.1 (AUTHOR), Tsvyashchenko, A. V.1 (AUTHOR)
Publikováno v:
Journal of Experimental & Theoretical Physics. Mar2023, Vol. 136 Issue 3, p305-311. 7p.
Autor:
Bokov, Grigoriy V.
Publikováno v:
Logic Journal of the IGPL (2015) 23 (2): 341-353
In this paper we consider propositional calculi, which are finitely axiomatizable extensions of intuitionistic implicational propositional calculus together with the rules of modus ponens and substitution. We give a proof of undecidability of the fol
Externí odkaz:
http://arxiv.org/abs/1407.7010
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.