Adaptive proofs for networks of partial structures

DOI10.1007/978-3-319-40220-8_2MaRDI QIDQ5213754zbMATH OpenOpenAlexFDO

Authors Holger Andreas, Peter Verdée

Publication date 4 February 2020

Published in Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-40220-8_2

zbMATH Keywords

adaptive logicsstructuralist approachparaconsistent reasoningpreferred models semantics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Modular semantics for theories: an approach to paraconsistent reasoning
• scientific article; zbMATH DE number 2170945
• scientific article; zbMATH DE number 1735919
• Automatic reasoning in paraconsistent logic
• Socratic proofs and paraconsistency: A case study

Cites work

• scientific article; zbMATH DE number 1333626 (Why is no real title available?)
• scientific article; zbMATH DE number 6174932 (Why is no real title available?)
• A textbook of belief dynamics. Theory change and database updating
• A universal logic approach to adaptive logics
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
• Adaptive proofs for networks of partial structures
• An architectonic for science. The structuralist program
• Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
• Nonmonotonic reasoning, preferential models and cumulative logics
• On inference from inconsistent premisses
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• The logical structure of mathematical physics. 2nd ed., rev
• Which style of reasoning to choose in the face of conflicting information?

Cited in

(3)

• Adaptive proofs for networks of partial structures
• Presumptive Reasoning in a Paraconsistent Setting
• Modular semantics for theories: an approach to paraconsistent reasoning

This page was built for publication: Adaptive proofs for networks of partial structures

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