Limits for paraconsistent calculi
From MaRDI portal
Recommendations
- Paraconsistency and Sette's calculus P1
- Limit computability and ultrafilters
- Limit ultrapowers and abstract logics
- A sequent calculus for limit computable mathematics
- Consistency and decidability in some paraconsistent arithmetics
- scientific article; zbMATH DE number 4091467
- Limit computability and constructive measure
- scientific article; zbMATH DE number 4187775
- Some paraconsistent sentential calculi
- scientific article; zbMATH DE number 3875243
Cites work
- scientific article; zbMATH DE number 4016868 (Why is no real title available?)
- scientific article; zbMATH DE number 4132131 (Why is no real title available?)
- scientific article; zbMATH DE number 3700797 (Why is no real title available?)
- scientific article; zbMATH DE number 3475425 (Why is no real title available?)
- scientific article; zbMATH DE number 551010 (Why is no real title available?)
- scientific article; zbMATH DE number 1735924 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 1361518 (Why is no real title available?)
- scientific article; zbMATH DE number 3453564 (Why is no real title available?)
- A semantical analysis of the calculi \(C_n\)
- Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
- Maximal weakly-intuitionistic logics
- Paraconsistent logic and model theory
- Propositional calculus for contradictory deductive systems
- Translations between logical systems: A manifesto
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
- Zooming in, zooming out
Cited in
(25)- Possible-translations semantics for some weak classically-based paraconsistent logics
- A non-deterministic view on non-classical negations
- On the system CB\(^1\) and a lattice of the paraconsistent calculi
- Paraconsistency properties in degree-preserving fuzzy logics
- A hierarchy of weak double negations
- A single proof of classical behaviour in da Costa's \(C_n\) systems
- New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency
- Proof theory and mathematical meaning of paraconsistent C-systems
- scientific article; zbMATH DE number 3245437 (Why is no real title available?)
- Modulated fibring and the collapsing problem
- A family of genuine and non-algebraisable C-systems
- On Axioms and Rexpansions
- A lattice of the paracomplete calculi
- Paraconsistent informational logic
- Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework
- Finite two-dimensional proof systems for non-finitely axiomatizable logics
- Weakening and extending \(\mathbb{Z}\)
- Credal Calculi, Evidence, and Consistency
- Revisiting \(\mathbb Z\)
- Anti-intuitionism and paraconsistency
- Paraconsistent logic
- On paraconsistent extensions of \(C_1\)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- On negation: Pure local rules
This page was built for publication: Limits for paraconsistent calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701299)
