( This is a stub)
This logic is a conservative extension of propositional intuitionistic logic with a new connective (subtraction) dual to implication.
Last revised on August 8, 2023 at 19:00:39. See the history of this page for a list of all contributions to it.