Tableau Methods for Propositional Logic and Term Logic

DOI10.3726/B18008OpenAlexW4248515852MaRDI QIDQ5000445FDOQ5000445

Authors: Tomasz Jarmużek 

Publication date: 13 July 2021

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

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

Mathematics Subject Classification ID

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

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)