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

axiomatizationparaconsistent logicsannotated 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

(20)

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