The following pages link to (Q3606211):
Displaying 15 items.
- Revisiting da Costa logic (Q301378) (← links)
- First-order da Costa logic (Q631523) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
- A single proof of classical behaviour in da Costa's \(C_n\) systems (Q2520656) (← links)
- Classical and non-classical logics: essay on the foundations of logic (Q2785507) (← links)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory (Q5241523) (← links)
- К вопросу о критерии паранепротиворечивости логик (Q5882768) (← links)
- Mortensen logics (Q6659908) (← links)
