Paraconsistent informational logic

DOI10.1016/J.JAL.2004.07.013MaRDI QIDQ1775866zbMATH OpenOpenAlexFDO

Authors Paola Forcheri, Paolo Gentilini

Publication date 4 May 2005

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2004.07.013

zbMATH Keywords

Paraconsistent logicFormal conjecturesInformational logicLogical entropy measuresSyntactic probability

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Recommendations

• Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework
• scientific article; zbMATH DE number 1269574
• Inconsistency measures in hybrid logics
• Reasoning with contradictory information using quasi-classical logic
• Paraconsistent reasoning as an analytic tool

Cites work

• scientific article; zbMATH DE number 3143967 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 35413 (Why is no real title available?)
• scientific article; zbMATH DE number 63610 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 1215500 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 1992764 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 937385 (Why is no real title available?)
• scientific article; zbMATH DE number 3316587 (Why is no real title available?)
• scientific article; zbMATH DE number 3321248 (Why is no real title available?)
• An analysis of first-order logics of probability
• Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
• Informational logic as a tool for automated reasoning
• Limits for paraconsistent calculi
• Linear logic
• Logic and probabilistic systems
• On the theory of inconsistent formal systems
• Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework
• Proof theory. 2nd ed
• Proof-theoretic modal PA-completeness. I: A system-sequent metric
• Proof-theoretic modal PA-completeness. II: The syntactic countermodel
• Proof-theoretic modal PA-completeness. III: The syntactic proof
• Propositional sequence-calculi for inconsistent systems
• Provability interpretations of modal logic
• Some Results on the Length of Proofs
• The undecidability of \(k\)-provability

Cited in

(16)

• Paraconsistent reasoning as an analytic tool
• Paradeduction in axiomatic formal systems
• scientific article; zbMATH DE number 2160653 (Why is no real title available?)
• A paraconsistent conditional logic
• The paradox of inference and the non-triviality of analytic information
• Logic and information (to appear)
• scientific article; zbMATH DE number 1867304 (Why is no real title available?)
• scientific article; zbMATH DE number 1303443 (Why is no real title available?)
• The inapplicability of (selected) paraconsistent logics
• Paraconsistent probabilities, their significance and their uses
• Introducing consistency in a dialogical framework for paraconsistent logic
• Modelling sources of inconsistent information in paraconsistent modal logic
• Resource-bounded paraconsistent inference
• scientific article; zbMATH DE number 5060081 (Why is no real title available?)
• Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework
• A quantitative-informational approach to logical consequence

This page was built for publication: Paraconsistent informational logic

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