Вполне-определённые логики

DOI10.21146/2074-1472-2022-28-2-96-114OpenAlexW4316036670MaRDI QIDQ5882769

I. A. Gorbunov

Publication date: 17 March 2023

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

Full work available at URL: https://doi.org/10.21146/2074-1472-2022-28-2-96-114

zbMATH Keywords

deduction-detachment theorementailment systemweak deduction theoremdeductive setwell-determined logic deductive set

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Unnamed Item
• Unnamed Item

This page was built for publication: Вполне-определённые логики