The following pages link to (Q5411405):
Displaying 10 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)
- The basic constructive logic for negation-consistency (Q1006496) (← links)
- The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant (Q3508164) (← links)
- (Q3512159) (← links)
- (Q3520603) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- Converse Ackermann property and constructive negation defined with a negation connective (Q5437781) (← links)
- (Q5441070) (← links)
- The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant (Q5448846) (← links)
