Pages that link to "Item:Q527198"
From MaRDI portal
The following pages link to Efficient reasoning with inconsistent information using C-systems (Q527198):
Displaying 9 items.
- A reasoning method for a paraconsistent logic (Q687160) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Making logical inferences in inconsistent systems (Q2508810) (← links)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
- Special fuzzy ellipsoid numbers and expressions of information (Q2953503) (← links)
- Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework (Q3647231) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)