2011/07/25 by Can Başķent, Can Baskent, Baskent, Can · 2 citations
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
paper · pdf · doi:10.48550/arxiv.1107.4939
arXiv admin note: substantial text overlap with arXiv:1107.4932
openalex publication_date 2011/07/25 · arxiv created 2011/11/10 · arxiv updated 2011/11/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The well-studied notion of deductive explosion describes the situation where any formula can be deduced from an inconsistent set of formulas. Paraconsistent logic, on the other hand, is the umbrella term for logical systems where the logical consequence relation is not explosive. In this work, we investigate the relationship between some different topological spaces and paraconsistency.