Pages that link to "Item:Q3812241"
From MaRDI portal
The following pages link to On the Proof Method for Constructive Falsity (Q3812241):
Displaying 10 items.
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Constructive predicate logic with strong negation and model theory (Q1104309) (← links)
- A Gödel-Artemov-style analysis of constructible falsity (Q1709698) (← links)
- Kripke Completeness of First-Order Constructive Logics with Strong Negation (Q4465165) (← links)
- (Q4552507) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- Constructive validity is nonarithmetic (Q5202185) (← links)
- Why Paraconsistent Logics? (Q5213768) (← links)
- A new logical characterisation of stable models and answer sets (Q6623793) (← links)