scientific article; zbMATH DE number 5519286

MaRDI QIDQ3606211zbMATH OpenFDO

Authors João Marcos

Publication date 26 February 2009

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• ON COSTA'S CONJECTURE
• On a problem of Davison
• On a problem of De Koninck
• On Kostyuchenko problem
• On a problem of Daubechies
• On a problem of Davenport and Schinzel
• ON A PROBLEM OF CARLITZ
• On a Kakeya-type problem
• scientific article; zbMATH DE number 3911411
• scientific article; zbMATH DE number 59759

Cited in

(24)

• Generalized correspondence analysis for three-valued logics
• Extensions of Priest-da Costa logic
• Deduction normalization theorem for Sette's logic and its modifications
• A single proof of classical behaviour in da Costa's C_n systems
• Classical and non-classical logics: essay on the foundations of logic
• Revisiting da Costa logic
• scientific article; zbMATH DE number 150213 (Why is no real title available?)
• scientific article; zbMATH DE number 536898 (Why is no real title available?)
• scientific article; zbMATH DE number 551010 (Why is no real title available?)
• scientific article; zbMATH DE number 605217 (Why is no real title available?)
• Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• 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
• scientific article; zbMATH DE number 859797 (Why is no real title available?)
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• A paraconsistent logic obtained from an algebra-valued model of set theory
• Da Costa meets Belnap and Nelson
• К вопросу о критерии паранепротиворечивости логик
• First-order da Costa logic
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• Mortensen logics
• Variations on the calculi C_n of da Costa
• On duality of logical systems: paralogics

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)