scientific article; zbMATH DE number 5519286

zbMATH Open1157.03316MaRDI QIDQ3606211FDOQ3606211

Authors: João Marcos 

Publication date: 26 February 2009

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (20)

• Title not available (Why is that?)
• Mortensen logics
• Da Costa meets Belnap and Nelson
• Title not available (Why is that?)
• Deduction normalization theorem for Sette's logic and its modifications
• Generalized correspondence analysis for three-valued logics
• 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
• Title not available (Why is that?)
• К вопросу о критерии паранепротиворечивости логик
• Revisiting da Costa logic
• A paraconsistent logic obtained from an algebra-valued model of set theory
• Title not available (Why is that?)
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• First-order da Costa logic
• 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

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)