Theories of the classical propositional logic and substitutions

DOI10.1134/S0001434621110249OpenAlexW4200545015MaRDI QIDQ2063679

I. A. Gorbunov

Publication date: 11 January 2022

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0001434621110249

zbMATH Keywords

inversion of substitutionstheories of classical propositional logic

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Model theory (03Cxx)

Cites Work

• Connections between some notions of completeness of structural propositional calculi
• Unnamed Item

This page was built for publication: Theories of the classical propositional logic and substitutions