Computer Science – Logic in Computer Science
Scientific paper
2011-07-25
Computer Science
Logic in Computer Science
arXiv admin note: substantial text overlap with arXiv:1107.4932
Scientific paper
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.
No associations
LandOfFree
Paraconsistency and Topological Semantics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Paraconsistency and Topological Semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Paraconsistency and Topological Semantics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-572604