The following pages link to Peter Verdée (Q300554):
Displayed 18 items.
- Nice embedding in classical logic (Q300555) (← links)
- Non-monotonic set theory as a pragmatic foundation of mathematics (Q301346) (← links)
- The dynamics of relevance: adaptive belief revision (Q383076) (← links)
- A new approach to classical relevance (Q497418) (← links)
- Handling inconsistencies in the early calculus. An adaptive logic for the design of chunk and permeate structures (Q722025) (← links)
- Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex (Q833026) (← links)
- Modeling sorites reasoning with adaptive fuzzy logic (Q835187) (← links)
- A generic framework for adaptive vague logics (Q1005967) (← links)
- Yes fellows, most human reasoning is complex (Q1024143) (← links)
- Which style of reasoning to choose in the face of conflicting information? (Q2804333) (← links)
- Modelling defeasible reasoning by means of adaptive logic games (Q2909836) (← links)
- Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic (Q3003366) (← links)
- Expanding the Logic of Paradox with a Difference-Making Relevant Implication (Q3305679) (← links)
- Strong, universal and provably non-trivial set theory by means of adaptive logic (Q4925162) (← links)
- A proof procedure for adaptive logics (Q5176657) (← links)
- (Q5188172) (← links)
- Adaptive Proofs for Networks of Partial Structures (Q5213754) (← links)
- Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic (Q6067098) (← links)