Distance-based paraconsistent logics
From MaRDI portal
Publication:2270429
Recommendations
- Axiomatizing distance logics
- scientific article; zbMATH DE number 1269574
- Paraconsistent logic
- scientific article; zbMATH DE number 16515
- Aspects of Paraconsistent Logic
- Paraconsistent modal logics
- On partial and paraconsistent logics
- scientific article; zbMATH DE number 1931672
- Relational Methods in Computer Science
- Paraconsistent orbits of logics
Cites work
- scientific article; zbMATH DE number 1696773 (Why is no real title available?)
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 4137750 (Why is no real title available?)
- scientific article; zbMATH DE number 45458 (Why is no real title available?)
- scientific article; zbMATH DE number 1301608 (Why is no real title available?)
- scientific article; zbMATH DE number 1303449 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 2080023 (Why is no real title available?)
- scientific article; zbMATH DE number 1849163 (Why is no real title available?)
- scientific article; zbMATH DE number 2120511 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- scientific article; zbMATH DE number 3039721 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Answer sets for consistent query answering in inconsistent databases
- Circumscription - a form of non-monotonic reasoning
- Computational methods for database repair by signed formulae
- Distance semantics for belief revision
- Distance-Based Repairs of Databases
- Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
- Handbook of philosophical logic. Vol. 6
- Kleene's Logic, Generalized
- Logic Programming
- Merging Information Under Constraints: A Logical Framework
- Metamathematics of fuzzy logic
- Minimal-change integrity maintenance using tuple deletions
- Minimally inconsistent LP
- Natural 3-valued logics—characterization and proof theory
- Nonmonotonic reasoning, preferential models and cumulative logics
- On interpretation of inconsistent theories
- On the logic of theory change: Partial meet contraction and revision functions
- On the theory of inconsistent formal systems
- Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
- Propositional knowledge base revision and minimal change
- Reasoning about truth
- Reducing Preferential Paraconsistent Reasoning to Classical Entailment
- The value of the four values
- Two modellings for theory change
- What does a conditional knowledge base entail?
Cited in
(19)- Para-disagreement logics and their implementation through embedding in Coq and SMT
- A framework for reasoning under uncertainty based on non-deterministic distance semantics
- Simplified forms of computerized reasoning with distance semantics
- Simple contrapositive assumption-based argumentation. II: Reasoning with preferences
- Reasoning with prioritized information by iterative aggregation of distance functions
- A preferential framework for trivialization-resistant reasoning with inconsistent information
- Quasi-classical reasoning in paraconsistent databases
- Logic based merging
- Reasoning under inconsistency: a forgetting-based approach
- scientific article; zbMATH DE number 866057 (Why is no real title available?)
- A graded approach to database repair by context-aware distance semantics
- Paraconsistent inference from data using existential \(\Omega \)-entailment
- scientific article; zbMATH DE number 866048 (Why is no real title available?)
- A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
- Context-aware distance semantics for inconsistent database systems
- Distance-based non-deterministic semantics for reasoning with uncertainty
- Reasoning with Uncertainty by Nmatrix–Metric Semantics
- Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
- A dissimilarity-based framework for generating inconsistency-tolerant logics
This page was built for publication: Distance-based paraconsistent logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2270429)
