The Paraconsistent Logics PJ

DOI10.1002/MALQ.19910370903zbMATH Open0741.03013OpenAlexW2158084301MaRDI QIDQ3982863FDOQ3982863

Authors: V. S. Subrahmanian, Carlo Vago, N. C. A. da Costa 

Publication date: 26 June 1992

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19910370903

Recommendations

• A survey of annotated logics
• Some recent applications of paraconsistent systems to AI
• scientific article; zbMATH DE number 2019878
• Relational Methods in Computer Science
• Automatic theorem proving in paraconsistent logics: Theory and implementation

zbMATH Keywords

axiomatizationparaconsistent logicsannotated logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (20)

• On recent applications of paraconsistent logic: an exploratory literature review
• Supra-logic: using transfinite type theory with type variables for paraconsistency
• Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
• A note on closure spaces determined by intersections
• Title not available (Why is that?)
• Programming with annotated logics
• Jair Minoro Abe on paraconsistent engineering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Annotated logics and application -- an overview
• The scientific work of Seiki Akama
• Title not available (Why is that?)
• Probabilistic logic programming
• On free annotated algebras
• On Theorem Proving in Annotated Logics
• Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics
• Title not available (Why is that?)
• Why paraconsistent logics?
• A survey of annotated logics

This page was built for publication: The Paraconsistent Logics PJ

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3982863)