nLab
subtractive logic

( This is a stub)

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

References:

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