Characteristic theories and inversion of substitution

DOI10.21146/2074-1472-2019-25-2-9-25MaRDI QIDQ5219129zbMATH OpenOpenAlexFDO

Authors I. A. Gorbunov

Publication date 6 March 2020

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2019-25-2-9-25

zbMATH Keywords

classical logiccomplete theorycharacteristic matricesLindenbaum matricesinversion of substitution

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 4055579
• Theories in classical propositional logic and the converse of substitution
• A note on R\(\rightarrow\) matrices
• Varieties of logical matrices
• Matrices, primitive satisfaction and finitely based logics

Cited in

(2)

• Decomposition theorem on invertible substitutions
• Theories in classical propositional logic and the converse of substitution

This page was built for publication: Characteristic theories and inversion of substitution

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