Pages that link to "Item:Q1685568"
From MaRDI portal
The following pages link to Paraconsistent double negations as classical and intuitionistic negations (Q1685568):
Displaying 7 items.
- 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)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- A Note on Ciuciura’s mbC1 (Q5126191) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)
- Double negation as minimal negation (Q6190088) (← links)
