Tableau Methods for Propositional Logic and Term Logic

DOI10.3726/B18008OpenAlexW4248515852MaRDI QIDQ5000445FDOQ5000445

Tomasz Jarmużek

Publication date: 13 July 2021

Full work available at URL: https://doi.org/10.3726/b18008

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)

Cited In (2)

• Tableaux for logics of content relationship and set-assignment semantics
• What kind of opposition-forming operator is privation?

This page was built for publication: Tableau Methods for Propositional Logic and Term Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000445)