The Paraconsistent Logics PJ

DOI10.1002/MALQ.19910370903MaRDI QIDQ3982863zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

annotated logicsaxiomatizationparaconsistent logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

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

Cited in

(21)

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

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)