The following pages link to (Q3586991):
Displaying 19 items.
- A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion}) (Q523297) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- Handling and measuring inconsistency in non-monotonic logics (Q2211858) (← links)
- A dissimilarity-based framework for generating inconsistency-tolerant logics (Q2254632) (← links)
- Strong inconsistency (Q2321259) (← links)
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases (Q2411265) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Inconsistency Measurement (Q3297796) (← links)
- Rule-Based Reasoning with Belief Structures (Q3388213) (← links)
- Paraconsistency and word puzzles (Q4593052) (← links)
- Variations on Jaśkowski’s Discursive Logic (Q4611687) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Heterogeneous Approximate Reasoning with Graded Truth Values (Q5082207) (← links)
- Why Paraconsistent Logics? (Q5213768) (← links)
- On recent applications of paraconsistent logic: an exploratory literature review (Q5243397) (← links)
- Universal Logic as a Science of Patterns (Q5258967) (← links)
- Is Logic Universal or Hierarchical? (Q5350339) (← links)
- Modeling and shadowing paraconsistent BDI agents (Q6634281) (← links)
