Pages that link to "Item:Q1595922"

The following pages link to Intuitionistic propositional logic without `contraction' but with `reductio' (Q1595922):

Displaying 8 items.

• Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency (Q735410) (← links)
• The basic constructive logic for a weak sense of consistency (Q1006487) (← links)
• Semantical analysis of predicate logics without the contraction rule (Q1077403) (← links)
• Logic without contraction as based on inclusion and unrestricted abstraction (Q1577364) (← links)
• Contraction in propositional logic (Q2374542) (← links)
• On second order intuitionistic propositional logic without a universal quantifier (Q3616347) (← links)
• Intuitionistic propositional logic with only equivalence has no interpolation (Q4209298) (← links)
• (Q4856945) (← links)