Pages that link to "Item:Q1689568"
From MaRDI portal
The following pages link to Natural deduction for Fitting's four-valued generalizations of Kleene's logics (Q1689568):
Displaying 10 items.
- Dualities for Płonka sums (Q1632048) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← 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)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- (Q4999723) (← links)
- Finitely many-valued logics and natural deduction (Q5176676) (← links)
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic (Q5215506) (← links)
- Normalisation for some infectious logics and their relatives (Q6659895) (← links)