Cover Image

Satisfiability of bright formulas

We investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and sufficient condition for the satisfiability of formulas from this subclass.

Saved in:

Bibliographic Details
Date:	2007
Main Authors:	Denisov, A. S., Денисов, А. С.
Format:	Article
Language:	Russian English
Published:	Institute of Mathematics, NAS of Ukraine 2007
Online Access:	https://umj.imath.kiev.ua/index.php/umj/article/view/3401
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Ukrains’kyi Matematychnyi Zhurnal
Download file:

Institution

Ukrains’kyi Matematychnyi Zhurnal

Similar Items

On harmonic functions satisfying nonlocal boundary conditions
by: Eydelman, S. D., et al.
Published: (1994)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

On Artinian rings satisfying the Engel condition
by: Evstaf’ev, R. Yu., et al.
Published: (2006)

Groups satisfying certain rank conditions
by: M. R. Dixon, et al.
Published: (2016)

Groups satisfying certain rank conditions
by: Dixon, M.R., et al.
Published: (2016)

Groups satisfying certain rank conditions
by: Dixon, Martyn R., et al.
Published: (2016)

Reoptimization of 2-criteria satisfiability problem
by: V. O. Mykhailiuk, et al.
Published: (2018)

Bright features in the solar photosphere
by: Kostik, R.I., et al.
Published: (2005)

The bright memory of Polina Kuprienko
by: Makarenko, I.B.
Published: (2020)

Метаногидраты морских акваторий
by: Денисов, А.А., et al.
Published: (2014)

On generalized derivations satisfying certain identities
by: Albaş, E., et al.
Published: (2011)

On pairs of unbounded self-adjoint operators satisfying an algebraic relation
by: Ostrovskii, V. L., et al.
Published: (1993)

A bright star of Ukrainian poetry
by: M. Nevrlyi
Published: (2014)

Estimate for a Rearrangement of a Function Satisfying the “Reverse Jensen Inequality”
by: Korenovskii, A. A., et al.
Published: (2005)

Bright memory to German Ivanovich Karatayev
Published: (2021)

Выполнимость ярких формул
by: Денисов, А.С.
Published: (2007)

On associative algebras satisfying the identity x⁵=0
by: Shestakov, I., et al.
Published: (2004)

On the massive disks in low surface brightness galaxies
by: Saburova, A.S.
Published: (2011)

Bright X-ray galaxies in SDSS filaments
by: Tugay, A.V.
Published: (2013)

Bright X-ray galaxies in SDSS filaments
by: A. V. Tugay
Published: (2013)

Heuristic criterion for class recognition by spectral brightness
by: A. I. Arkhipov, et al.
Published: (2018)

On the convergence of functions from a Sobolev space satisfying special integral estimates
by: Kovalevskii, A. A., et al.
Published: (2006)

On associative algebras satisfying the identity \(x^5 = 0\)
by: Shestakov, Ivan, et al.
Published: (2018)

Сім'я як визначальний фактор у профілактиці молодіжної злочинності в Україні
by: Денисов, С.Ф.
Published: (2010)

Совместное применение нейронных сетей и метода последовательного прогнозирования вероятностей для идентификации модели пласта
by: Денисов, С.В.
Published: (2008)

Мои бельгийские литературные встречи
by: Денисов, Ю.С.
Published: (2014)

Mои бельгийские литературные встречи
by: Денисов, Ю.С.
Published: (2013)

Изображение Козачества в раннем творчестве Н.В. Гоголя (идея "исторического романа")
by: Денисов, В.
Published: (2001)

Groups satisfying the condition of weak minimality for subgroups of derived length two
by: Onishchuk, V. A., et al.
Published: (1994)

Каталитические композиции пространственной конфигурации на металлических носителях в реакции окисления СО кислородом воздуха (Обзор)
by: Денисов, А.А.
Published: (2011)

Каталитическая конверсия диоксида серы монооксидом углерода
by: Денисов, А.А.
Published: (2010)

Random Error of Surface Relief Reconstruction by Radio Brightness
by: Dulova, I. A., et al.
Published: (2013)

Objects Detections Using the Relative Brightness of Individual Areas
by: A. V. Agarkov, et al.
Published: (2014)

ВЛИЯНИЕ АВТОНОМНОГО ИНВЕРТОРА НАПРЯЖЕНИЯ С СИНУСОИДАЛЬНОЙ ШИРОТНО-ИМПУЛЬСНОЙ МОДУЛЯЦИЕЙ НА УСТОЙЧИВОСТЬ СИСТЕМЫ ЭЛЕКТРОПРИВОДА
by: Денисов, Ю.А.
Published: (2012)

Новые волоконно-оптические зонды для абсорбционного анализа
by: Денисов, Н.А.
Published: (2006)

Влияние автономного инвертора напряжения с синусоидальной широтно-импульсной модуляцией на устойчивость системы электропривода
by: Денисов, Ю.А.
Published: (2012)

Self-improvement of summability factors of functions satisfying the reverse Hölder inequality in limit cases
by: Korenovskii, A. A., et al.
Published: (2010)

Possibilities of improving paraxial brightness in rf ion sources
by: Mordyk, S.M., et al.
Published: (2005)

Determination of the electronic concentration in a bright solar prominence
by: Venglinsky, E.R., et al.
Published: (2005)