Tableau Methods for Propositional Logic and Term Logic

DOI10.3726/B18008MaRDI QIDQ5000445zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1395652
• scientific article; zbMATH DE number 5511125
• Tableau metatheorem for modal logics
• scientific article; zbMATH DE number 2079261
• A propositional fragment of Leśniewski's ontology and its formulation by the tableau method

Cited in

(3)

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

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)