Pages that link to "Item:Q813085"
From MaRDI portal
The following pages link to The class of extensions of Nelson's paraconsistent logic (Q813085):
Displaying 22 items.
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- Generalized Kripke semantics for Nelson's logic (Q694210) (← links)
- Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Towards a bridge over two approaches in connexive logic (Q3387893) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- On deductive bases for paraconsistent answer set semantics (Q4583312) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
- An algebraic investigation of the connexive logic \(\mathsf{C}\) (Q6127184) (← links)
- Angell and McCall meet Wansing (Q6127187) (← links)
- Double negation as minimal negation (Q6190088) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)
