The following pages link to Limits for paraconsistent calculi (Q701299):
Displaying 24 items.
- Paraconsistent logic (Q266659) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- Paraconsistent informational logic (Q1775866) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- A hierarchy of weak double negations (Q2016059) (← links)
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Revisiting \(\mathbb Z\) (Q2443124) (← links)
- A single proof of classical behaviour in da Costa's \(C_n\) systems (Q2520656) (← links)
- On paraconsistent extensions of \(C_1\) (Q2520660) (← links)
- Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework (Q3647231) (← links)
- Possible-translations semantics for some weak classically-based paraconsistent logics (Q3647284) (← links)
- Modulated fibring and the collapsing problem (Q4451732) (← links)
- New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency (Q4912987) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- On the system CB1 and a lattice of the paraconsistent calculi (Q5006825) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Credal Calculi, Evidence, and Consistency (Q5020164) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- A lattice of the paracomplete calculi (Q5061413) (← links)
