Pages that link to "Item:Q1382164"
From MaRDI portal
The following pages link to Signed systems for paraconsistent reasoning (Q1382164):
Displaying 11 items.
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Logic based merging (Q535328) (← links)
- A consistency-based approach for belief change (Q814523) (← links)
- Reasoning under inconsistency: a forgetting-based approach (Q991019) (← links)
- A procedural criterion for final derivability in inconsistency-adaptive logics (Q1775872) (← links)
- Predicate signatures from pair encodings via dual system proof technique (Q2009416) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Computational methods for database repair by signed formulae (Q2502158) (← links)
- Recovering Consistency by Forgetting Inconsistency (Q3532461) (← links)
- (Q4708928) (← links)
- A simple signed system for paraconsistent reasoning (Q5236448) (← links)