Дедуктивные логики и их связь с интуиционистской логикой

DOI10.21146/2074-1472-2017-23-2-9-24zbMath1420.03022OpenAlexW2793151318MaRDI QIDQ4566143

I. A. Gorbunov

Publication date: 14 June 2018

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2017-23-2-9-24

zbMATH Keywords

deduction theoremintuitionistic logicdeductive propositional systemsminimal deductive logicstrongly-deductive set of sentences

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Дедуктивные логики и их связь с интуиционистской логикой