Pages that link to "Item:Q3455840"
From MaRDI portal
The following pages link to Automated Support for the Investigation of Paraconsistent and Other Logics (Q3455840):
Displayed 8 items.
- Negative modalities, consistency and determinedness (Q276032) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
- Quasi-canonical systems and their semantics (Q6088602) (← links)