The following pages link to (Q4487295):
Displaying 15 items.
- Nice embedding in classical logic (Q300555) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- Socratic proofs and paraconsistency: A case study (Q813092) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- Non-deterministic semantics for logics with a consistency operator (Q997049) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Modal extensions of sub-classical logics for recovering classical logic (Q1945706) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- Paranegations and the square of oppositions (Q2695542) (← links)
- A lattice of the paracomplete calculi (Q5061413) (← links)
- Double negation as minimal negation (Q6190088) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)
