- PII
- S2074-14720000616-8-1
- DOI
- 10.7868/S20000616-8-1
- Publication type
- Article
- Status
- Published
- Authors
- Abstract
- 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.
- Keywords
- paracomplete logic, paracompleteness, the law of exluded middle, tertium non datur, consequentia mirabilis, weakly–intuitionistic logic, literal–paracomplete logic, para-consistent logic
- Date of publication
- 01.06.2020
- Year of publication
- 2020
- Number of purchasers
- 22
- Views
- 525
RAS Social ScienceГосударство и право Gosudarstvo i pravo
- ISSN (Print) 1026-9452
- ISSN (Online) 2713-0398
A lattice of the paracomplete calculi
Indexing
Scopus
Crossref
Higher Attestation Commission
At the Ministry of Education and Science of the Russian Federation
Scientific Electronic Library