Characteristic theories and inversion of substitution

DOI10.21146/2074-1472-2019-25-2-9-25zbMATH Open1446.03027OpenAlexW2998324279MaRDI QIDQ5219129FDOQ5219129

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

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

zbMATH Keywords

classical logiccomplete theorycharacteristic matricesLindenbaum matricesinversion of substitution

Mathematics Subject Classification ID

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

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)