Pages that link to "Item:Q2987760"

The following pages link to Partial and paraconsistent three-valued logics (Q2987760):

Displaying 3 items.

• Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
• Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
• Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)