Adaptive proofs for networks of partial structures
From MaRDI portal
Publication:5213754
DOI10.1007/978-3-319-40220-8_2zbMATH Open1429.03102OpenAlexW2558790062MaRDI QIDQ5213754FDOQ5213754
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
Recommendations
Cites Work
- 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
- On inference from inconsistent premisses
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- A universal logic approach to adaptive logics
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- Which style of reasoning to choose in the face of conflicting information?
- Title not available (Why is that?)
- An architectonic for science. The structuralist program
- The logical structure of mathematical physics. 2nd ed., rev
- Title not available (Why is that?)
- Adaptive proofs for networks of partial structures
Cited In (3)
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)
