A constructive negation for logics including TW+

Gemma Robles
2006 Journal of Applied Non-Classical Logics  
The logic TW + is positive Ticket Entailment without the contraction axiom. Constructive negation is understood in the (minimal) intuitionistic sense but without paradoxes of relevance. It is shown how to introduce a constructive negation of this kind in positive logics at least as strong as TW + . Special attention is paid to the reductio axioms. Concluding remarks about relevance, modal and entailment logics are stated. Complete relational ternary semantics are provided for the logics
more » ... the logics introduced in this paper.
doi:10.3166/jancl.15.404 fatcat:dbubdbuuevbf5kog6ndebi2ghy