Pages that link to "Item:Q1685568"
From MaRDI portal
The following pages link to Paraconsistent double negations as classical and intuitionistic negations (Q1685568):
Displaying 18 items.
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- A hierarchy of weak double negations (Q2016059) (← 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)
- Paraconsistent double negation as a modal operator (Q2958215) (← links)
- (Q3112285) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- (Q4487295) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- (Q5100007) (← links)
- A Note on Ciuciura’s mbC1 (Q5126191) (← links)
- Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation (Q5176671) (← links)
- (Q5695179) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)
- Double negation as minimal negation (Q6190088) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)
- Cyclic negations and four-valuedness (Q6659910) (← links)
- Dunn semantics for contra-classical logics (Q6659917) (← links)