The following pages link to (Q4925872):
Displaying 9 items.
- Adaptive logic characterizations of input/output logic (Q332074) (← links)
- Preferential semantics using non-smooth preference relations (Q484187) (← links)
- Modular semantics for theories: an approach to paraconsistent reasoning (Q1633217) (← links)
- Computability issues for adaptive logics in multi-consequence standard format (Q2016057) (← links)
- Adaptively applying modus ponens in conditional logics of normality (Q4583150) (← links)
- Three formats of prioritized adaptive logics: a comparative study (Q4925163) (← links)
- Adaptive Proofs for Networks of Partial Structures (Q5213754) (← links)
- Tutorial on Inconsistency-Adaptive Logics (Q5241516) (← links)
- Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic (Q6067098) (← links)
