Pages that link to "Item:Q1006496"
From MaRDI portal
The following pages link to The basic constructive logic for negation-consistency (Q1006496):
Displaying 15 items.
- A necessary condition for constructive negation in constraint logic programming (Q294756) (← links)
- 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 absolute consistency (Q1016031) (← links)
- Two results in negation-free logic (Q1324497) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- Negation as cancellation, and connexive logic (Q1969807) (← links)
- The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant (Q3508164) (← links)
- (Q3512159) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- (Q4532132) (← links)
- (Q4870573) (← links)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)
- (Q5411405) (← links)
- (Q5695179) (← links)