Adaptive Proofs for Networks of Partial Structures

DOI10.1007/978-3-319-40220-8_2zbMath1429.03102OpenAlexW2558790062MaRDI QIDQ5213754

Peter Verdée, Holger Andreas

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)

Related Items (2)

Modular semantics for theories: an approach to paraconsistent reasoning ⋮ Adaptive Proofs for Networks of Partial Structures

Cites Work

• Unnamed Item
• Unnamed Item
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• A universal logic approach to adaptive logics
• An architectonic for science. The structuralist program
• The logical structure of mathematical physics. 2nd ed., rev
• Nonmonotonic reasoning, preferential models and cumulative logics
• Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
• A textbook of belief dynamics. Theory change and database updating
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
• On inference from inconsistent premisses
• Which style of reasoning to choose in the face of conflicting information?
• Adaptive Proofs for Networks of Partial Structures

This page was built for publication: Adaptive Proofs for Networks of Partial Structures