- Код статьи
- S2074-14720000616-8-1
- DOI
- Тип публикации
- Статья
- Статус публикации
- Опубликовано
- Авторы
- Том/ Выпуск
- Том 26 / Номер 1
- Страницы
- 110-123
- Аннотация
- Paracomplete logic is intended to cope with the problem of vagueness, or uncertain and incomplete data. It deals with the situation when some propositions and their negations are allowed to be simultaneously false, which is obviously impossible in the classical and many non--classical propositional logics. In paracomplete logic, such classical laws as tertium non datur or consequentia mirabilis are not generally accepted. This implies that the logic is defined negatively. In this paper, we introduce a family of the paracomplete calculi that will be defined in a Hilbert-style formalization. We propose the so-called bi--valuational semantics and prove the key metatheorems for the calculi. We also discuss a generalization of the paracomplete calculus QD1QD1 to the hierarchy of related calculi.
- Ключевые слова
- paracomplete logic, paracompleteness, the law of exluded middle, tertium non datur, consequentia mirabilis, weakly–intuitionistic logic, literal–paracomplete logic, para-consistent logic
- Дата публикации
- 01.06.2020
- Всего подписок
- 22
- Всего просмотров
- 510
ООНГосударство и право
- ISSN (Print) 1026-9452
- ISSN (Online)2713-0398
A lattice of the paracomplete calculi
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации
Научная электронная библиотека