pytableaux documentation
pytableaux is a multi-logic tableau proof generator. It supports full first-order sentences (predication and quantification), with standard operators (negation, conjunction, etc.), as well as modal operators (possibility, necessity). It is designed to compare logical validities across various 'nonclassical' logics, focusing on many-valued and modal logics.
To access the site, visit https://logic.dougowings.net
Contents:
- Logics
- Bivalent
- Bivalent Modal
- Many-valued
- - First Degree Entailment
- - Strong Kleene Logic
- - Logic of Paradox
- - Łukasiewicz 3-valued Logic
- - R-mingle 3
- - Weak Kleene Logic
- - Weak Kleene Logic with alternate quantification
- - Bochvar 3-valued External Logic
- - Gödel 3-valued Logic
- MH - Paracomplete Hybrid Logic
- NH - Paraconsistent Hybrid Logic
- GO - Gappy Object Logic
- - Post 3-valued Logic
- Many-valued Modal
- - FDE with K Modal
- - FDE with T Modal
- - with Modal
- - with Modal
- - with K Modal
- - with T Modal
- - with Modal
- - with Modal
- - LP with K Modal
- - with T Modal
- - with Modal
- - with Modal
- - with K Modal
- - with T Modal
- - with S4 Modal
- - with S5 Modal
- - with K Modal
- - with T Modal
- - with S4 Modal
- - with S5 Modal
- - with K Modal
- - with T Modal
- - with S4 Modal
- - with S5 Modal
- - with K Modal
- - with T Modal
- - with S4 Modal
- - with S5 Modal
- - with K Modal
- - with T Modal
- - with S4 Modal
- - with S5 Modal
- - with S4 Modal