Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency
In the field of logics of formal inconsistency (LFIs), the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective. In this paper, we consider the matter of the axiom (cc)0—i.e., the schema ? ??—by...
Saved in:
| Main Author: | Thomas Macaulay Ferguson |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2018-08-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/58637 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Intuitionistic Implication and Logics of Formal Inconsistency
by: Janusz Ciuciura
Published: (2024-10-01) -
From India to China: Evolution of the Connotations of Extracanonical Buddhist Literature
by: Zhongyue Guan, et al.
Published: (2025-04-01) -
Inconsistency evaluation of the curriculum logical structure
by: Yu. D. Ageev, et al.
Published: (2018-11-01) -
The formal analysis of CC security functional components
by: HUANG Yuan-fei1, et al.
Published: (2003-01-01) -
Two Classes of Infrasoft Separation Axioms
by: Tareq M. Al-shami, et al.
Published: (2021-01-01)