Характеристические теории и обращение подстановки

DOI10.21146/2074-1472-2019-25-2-9-25zbMath1446.03027OpenAlexW2998324279MaRDI QIDQ5219129

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

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

This page was built for publication: Характеристические теории и обращение подстановки