Зображення обкладинки

Properties of the logical consequence operation and its relationship with the independence of propositional logic

We investigate the properties of the logical consequence operation and the characteristic features of independent sets of formulas. Further, we apply these results to propositional logic. Finally, we show under what conditions the results of addition of a formula to independent sets of formulas and...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2018
Автори:	Öner, G., Öner, T., Şentürk, İ., Онер, Г., Онер, Т., Сентюрк, І.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	Institute of Mathematics, NAS of Ukraine 2018
Онлайн доступ:	https://umj.imath.kiev.ua/index.php/umj/article/view/1600
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Ukrains’kyi Matematychnyi Zhurnal
Завантажити файл:

Репозитарії

Ukrains’kyi Matematychnyi Zhurnal

Схожі ресурси

Properties of the logical consequence operation and its relationship with the independence of propositional logic
за авторством: T. Öner, та інші
Опубліковано: (2018)

Propositional logics of partial predicates with composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2019)

Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates
за авторством: S. S. Shkilniak
Опубліковано: (2013)

Propositional logics of partial predicates with composition of predicate com-plement
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2019)

Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Relations of logical consequence in composition nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

Logical consequence relations in logics of quasiary predicates
за авторством: O. S. Shkilniak
Опубліковано: (2016)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: O. S. Shkilniak
Опубліковано: (2017)

Special relations of logical consequence in logics of quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: Shkilniak, O.S.
Опубліковано: (2019)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: O. S. Shkilniak
Опубліковано: (2019)

The philosophy of logic, philosophical logic, argumentation
за авторством: O. Shcherbyna
Опубліковано: (2013)

The role of logic in the formation of logical culture of Lawyer
за авторством: M. Protsenko
Опубліковано: (2014)

Semantic properties of five-valued logics
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Semantic properties of five-valued logics
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)

7-values logics and logics of general non-deterministic predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)

Fault Detection in CombinationalLogic Circuits Based on Symmetrically Independent Outputs Groups Checking
за авторством: V. V. Sapozhnikov, та інші
Опубліковано: (2020)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2024)

On the logic and natural language
за авторством: V. Koseska-Tosheva
Опубліковано: (2011)

Economic world: logic
за авторством: A. S. Filipenko
Опубліковано: (2021)

Religious Freedom and the Church of Jesus Christ of Latter-day Saints: History and Logic of Relationship
за авторством: L. Fylypovych, та інші
Опубліковано: (2016)

Partial predicates logics induced Kleene&#039;s three-valued logics
за авторством: D. B. Buj, та інші
Опубліковано: (2015)

Logical operations on fuzzy sets and relations through automatic interpretation
за авторством: S. L. Kryvyj, та інші
Опубліковано: (2020)

Semantic properties of logics of general non-deterministic predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)

Poverty and logic of its overcoming policy: monograph on the relevant subject
за авторством: Ya. Sadova
Опубліковано: (2021)

Propositions on optimization of hydrobiological equipment
за авторством: A. G. Shatrovskij
Опубліковано: (1999)

Leibnitz&#039; logical ideas in the context of logical and rational model of cognitive processes
за авторством: L. M. Shenherii
Опубліковано: (2012)

G.W. Leibniz: from proving of logical rules and schemes to symbolic calculation of logic
за авторством: L. M. Shenherii, та інші
Опубліковано: (2017)

Compositional logics of nominative data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

Instrumentariy creating business logic
за авторством: Kozhaev, V. V.
Опубліковано: (2015)

Twofolded construction of dialectic logic
за авторством: P. V. Denysiuk
Опубліковано: (2017)

Renominative logics of quasiary predicates
за авторством: S. S. Shkilniak, та інші
Опубліковано: (2016)

Logic terminology: codification problem
за авторством: A. Baumeister, та інші
Опубліковано: (2016)

Informal logic and real argument
за авторством: I. Khomenko
Опубліковано: (2016)

Taxonomy of logical deviations in laws
за авторством: O. Afanasieva
Опубліковано: (2010)

Mapping of the relational algebra to the description logic
за авторством: Chystiakova, І.S.
Опубліковано: (2018)

Integration of the description logics with operations at role constructors into relational data model
за авторством: Chystiakova, I.S.
Опубліковано: (2018)

Integration of the description logics with operations at role constructors into relational data model
за авторством: I. S. Chistjakova
Опубліковано: (2016)

Logics of local equitone predicates: semantic properties and sequential calculuses
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)