Pages that link to "Item:Q4683216"
From MaRDI portal
The following pages link to Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216):
Displaying 10 items.
- Dualities for Płonka sums (Q1632048) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- (Q4999723) (← links)
- A Generalization of Falsity in Finitely-many Valued Logics (Q5038568) (← links)
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic (Q5215506) (← links)
