Pages that link to "Item:Q1071753"
From MaRDI portal
The following pages link to The Craig interpolation theorem for propositional logics with strong negation (Q1071753):
Displaying 9 items.
- Nelson algebras through Heyting ones. I (Q750474) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- On extensions of intermediate logics by strong negation (Q1386683) (← links)
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property (Q1908857) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
