Pages that link to "Item:Q4683206"
From MaRDI portal
The following pages link to Natural deduction for three-valued regular logics (Q4683206):
Displaying 13 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)
- Logics of variable inclusion and the lattice of consequence relations (Q4994024) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- (Q4999723) (← links)
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic (Q5215506) (← links)
- On Vidal's trivalent explanations for defective conditional in mathematics (Q5742699) (← links)
- Editorial introduction (Q6642818) (← links)
- Finite Hilbert systems for weak Kleene logics (Q6642819) (← links)
- Normalisation for some infectious logics and their relatives (Q6659895) (← links)
