Pages that link to "Item:Q1647261"
From MaRDI portal
The following pages link to The natural deduction systems for the three-valued nonsense logics Z and E (Q1647261):
Displaying 6 items.
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
- Natural deduction system for three-valued Heyting's logic (Q2403575) (← links)
- Natural deduction for three-valued regular logics (Q4683206) (← links)
- Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion (Q5013636) (← links)
- On Vidal's trivalent explanations for defective conditional in mathematics (Q5742699) (← links)