Pages that link to "Item:Q2403575"

The following pages link to Natural deduction system for three-valued Heyting's logic (Q2403575):

Displaying 3 items.

• Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
• Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)