Pages that link to "Item:Q2987760"
From MaRDI portal
The following pages link to Partial and paraconsistent three-valued logics (Q2987760):
Displaying 13 items.
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) (Q828777) (← links)
- Medium logic and Woodruff's three-valued logic (Q920979) (← links)
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing) (Q1102939) (← links)
- Cut-free systems for three-valued modal logics (Q1203764) (← links)
- Three characterizing numbers of partition logics (Q1909437) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property (Q2971281) (← links)
- (Q3123377) (← links)
- Relationships between Connectives in Three-Valued Logics (Q3143148) (← links)
- Two Genuine 3-Valued Paraconsistent Logics (Q5213770) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)
