Periodic Reporting for period 2 - ConLog (Contradictory Logics: A Radical Challenge to Logical Orthodoxy)

The ConLog project investigates logical systems in which contradictions are provable. These are systems in which for some statements not only the statement but also its negation is provable. Such logics are called "negation inconsistent" or "contradictory", and they are...