Pages that link to "Item:Q4586423"
From MaRDI portal
The following pages link to Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423):
Displaying 5 items.
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics (Q5027251) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) (Q6054061) (← links)
