We study axiomatic extensions of the propositional constructive logic with strong negation having the disjunction property in terms of corresponding to them varieties ...

Logical reasoning is a crucial skill for math success. It helps understand concepts and solve problems. This skill builds strong arguments and reduces errors. It improves problem-solving across ...

This is a preview. Log in through your library . Abstract We give a direct, purely arithmetical and elementary proof of the strong normalization of the cut-elimination procedure for full (i.e., in ...