Pages that link to "Item:Q764309"
From MaRDI portal
The following pages link to Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309):
Displaying 23 items.
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Paraconsistent logic, evidence, and justification (Q1685567) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← 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)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Paraconsistent double negation as a modal operator (Q2958215) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- Inconsistency-Tolerant Multi-Agent Calculus (Q3448622) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- Negative Modalities in the Light of Paraconsistency (Q5350350) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Logical multilateralism (Q6145030) (← links)
- Conservative translations revisited (Q6156208) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
