nLab subtractive logic

Contents

( 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 August 8, 2023 at 19:00:39. See the history of this page for a list of all contributions to it.