Paraconsistent informational logic

DOI10.1016/j.jal.2004.07.013zbMath1063.03012OpenAlexW2018123804MaRDI QIDQ1775866

Paolo Gentilini, Paola Forcheri

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

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

Related Items (1)

Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework

Cites Work

• Linear logic
• Limits for paraconsistent calculi
• An analysis of first-order logics of probability
• Proof theory. 2nd ed
• The undecidability of \(k\)-provability
• Provability interpretations of modal logic
• Informational logic as a tool for automated reasoning
• Logic and probabilistic systems
• 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
• On the theory of inconsistent formal systems
• Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework
• Some Results on the Length of Proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Paraconsistent informational logic