scientific article; zbMATH DE number 5997435
From MaRDI portal
Publication:3112294
Recommendations
- Graph-based decision for Gödel-Dummett logics
- A tableau style proof system for two paraconsistent logics
- On graphs for intuitionistic modal logics
- scientific article; zbMATH DE number 4143949
- On a graph approach to modal logics
- scientific article; zbMATH DE number 6970800
- A graph-theoretic account of logics
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Taming paraconsistent (and other) logics: an algorithmic approach
- A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3112294)
