scientific article; zbMATH DE number 5519286
From MaRDI portal
Publication:3606211
Recommendations
Cited in
(23)- On duality of logical systems: paralogics
- scientific article; zbMATH DE number 551010 (Why is no real title available?)
- Da Costa meets Belnap and Nelson
- Mortensen logics
- Classical and non-classical logics: essay on the foundations of logic
- scientific article; zbMATH DE number 536898 (Why is no real title available?)
- Generalized correspondence analysis for three-valued logics
- Deduction normalization theorem for Sette's logic and its modifications
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- scientific article; zbMATH DE number 150213 (Why is no real title available?)
- Revisiting da Costa logic
- К вопросу о критерии паранепротиворечивости логик
- A paraconsistent logic obtained from an algebra-valued model of set theory
- scientific article; zbMATH DE number 605217 (Why is no real title available?)
- First-order da Costa logic
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Extensions of Priest-da Costa logic
- A single proof of classical behaviour in da Costa's C_n systems
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Variations on the calculi C_n of da Costa
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3606211)
