Pages that link to "Item:Q3981456"
From MaRDI portal
The following pages link to Natural 3-valued logics—characterization and proof theory (Q3981456):
Displayed 21 items.
- A strong model of paraconsistent logic (Q558738) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Rough sets and 3-valued logics (Q1005949) (← links)
- The value of the four values (Q1274293) (← links)
- The logic of pragmatic truth (Q1277331) (← links)
- Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- A simple sequent calculus for partial functions (Q2367544) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics (Q2563461) (← links)
- First order theory for literal-paraconsistent and literal-paracomplete matrices (Q3583806) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Brief study of G'<sub>3</sub> logic (Q3643367) (← links)
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond (Q4531578) (← links)
- 1998–99 Annual Meeting of the Association for Symbolic Logic (Q4940738) (← links)
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806) (← links)