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 9 items.
- Curry's paradox in contractionless constructive logic (Q1914375) (← links)
- 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)
- (Q5411478) (← links)
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) (Q6054061) (← links)
- Nelson conuclei and nuclei: the twist construction beyond involutivity (Q6636379) (← links)
- Algebraizability of the logic of quasi-N4-lattices (Q6659913) (← links)
