subtractive logic

( This is a stub)

This logic is a conservative extension of propositional intuitionistic logic with a new connective (subtraction) dual to implication.

- Tristan Crolard,
*Subtractive logic*, Theoretical Computer Science, 254, Issues 1–2, 6 March 2001, Pages 151-185

Last revised on December 27, 2016 at 13:54:36. See the history of this page for a list of all contributions to it.