Can I read Subtractive logic on EtoBox?

Subtractive logic by Tristan Crolard is a Computer Science article available to read on EtoBox.

What is Subtractive logic about?

This paper is the ÿrst part of a work whose purpose is to investigate duality in some related frameworks (cartesian closed categories, lambda-calculi, intuitionistic and classical logics) from syntactic, semantical and computational viewpoints. We start with category theory and we show that any bicartesian closed category with coexponents is degenerated (i.e. there is at most one arrow between two objects). The remainder of the paper is devoted to logical issues. We examine the propositional calculus underlying the type system of bicartesian closed categories with coexponents and we show that this calculus corresponds to subtractive logic: a conservative extension of intuitionistic logic with a new connector (subtraction) dual to implication. Eventually, we consider ÿrst-order subtractive logic and we present an embedding of classical logic into subtractive logic.

Who reads Subtractive logic?

Author

Tristan Crolard

Publisher

Elsevier Science; Elsevier ; Elsevier BV (ISSN 0304-3975)

Published

2001

Language

EN

Field

Computer Science (Physical Sciences)