Structural consequences operations and logical matrices adequate for them

MaRDI QIDQ5416153zbMATH OpenFDO

Authors Jan Zygmunt

Publication date 19 May 2014

zbMATH Keywords

adequacy problemlogical matrixmethodology of propositional calculirule of inferencesentential logicstructural consequence operation

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 3873299
• Theory of logical calculi. Basic theory of consequence operations
• Polish Logic
• scientific article; zbMATH DE number 4041882
• scientific article; zbMATH DE number 915937

Cited in

(6)

• Theory of logical calculi. Basic theory of consequence operations
• scientific article; zbMATH DE number 3873299 (Why is no real title available?)
• scientific article; zbMATH DE number 4041882 (Why is no real title available?)
• scientific article; zbMATH DE number 915937 (Why is no real title available?)
• Logic of social ontology and Łoś's operator
• Some Remarks on Heyting Matrices

This page was built for publication: Structural consequences operations and logical matrices adequate for them

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