Paraconsistency and Topological Semantics
Logic in Computer Science
2011-11-14 v2
Abstract
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.
Cite
@article{arxiv.1107.4939,
title = {Paraconsistency and Topological Semantics},
author = {Can Baskent},
journal= {arXiv preprint arXiv:1107.4939},
year = {2011}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1107.4932