Modular semantics for theories: an approach to paraconsistent reasoning
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 5872190
- Modular sequent systems for modal logic
- Paraconsistent logic and model theory
- A semantics for modular general logic programs
- CONCUR 2004 - Concurrency Theory
- Paraconsistent modal logics
- On the Modularization Theorem for logical specifications
- Modular construction of cut-free sequent calculi for paraconsistent logics
- scientific article; zbMATH DE number 1523046
- scientific article; zbMATH DE number 4187771
Cites work
- scientific article; zbMATH DE number 1333626 (Why is no real title available?)
- scientific article; zbMATH DE number 1739753 (Why is no real title available?)
- scientific article; zbMATH DE number 1503641 (Why is no real title available?)
- scientific article; zbMATH DE number 6174932 (Why is no real title available?)
- A mathematical introduction to logic.
- A modal view of the semantics of theoretical sentences
- A textbook of belief dynamics. Theory change and database updating
- 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
- BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
- Chunk and permeate. II: Bohr's hydrogen atom
- Chunk and permeate. III: The Dirac delta function
- Frisch, Muller, and Belot on an Inconsistency in Classical Electrodynamics
- Handbook of philosophical logic. Vol. 6
- Knowledge in flux. Modeling the dynamics of epistemic states
- Logics for qualitative inductive generalization
- Minimally abnormal models in some adaptive logics
- Minimally inconsistent LP
- Nonmonotonic reasoning, preferential models and cumulative logics
- Reassurance via translation
- The logic of paradox
- The logic of pragmatic truth
- The logical structure of mathematical physics. 2nd ed., rev
- Which style of reasoning to choose in the face of conflicting information?
Cited in
(8)- scientific article; zbMATH DE number 5872190 (Why is no real title available?)
- Keeping globally inconsistent scientific theories locally consistent
- Adaptive proofs for networks of partial structures
- Quasi-truth, paraconsistency, and the foundations of science
- Physics, inconsistency, and quasi-truth
- Combination of convex theories: modularity, deduction completeness, and explanation
- Patches, patchworks, and epsilon terms: a neo-Carnapian account of theoretical terms in science
- Semantic closure, descriptions and non-triviality
This page was built for publication: Modular semantics for theories: an approach to paraconsistent reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1633217)
