Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at Freenode channel #swig 2001-2018 approx by the chump bot.

Nearby: IRC logs | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2016-07-08 20:32
Inconsistency Robust Direct Logic is a minimal fix to Classical Logic without the rule of Classical Proof by Contradiction
posted by dmiles at 2016-07-08 20:32 (+) tags:
dmiles: A breath of fresh air from the stuffy world of Laws of the excluded middle
dmiles: and from the overly populated Category Theory-iphlia
 
Created by the Daily Chump bot. Hosted by PlanetRDF.