Логика, единство в трёх лицах

DOI10.21146/2074-1472-2018-24-1-9-25zbMath1431.03077OpenAlexW2883535758MaRDI QIDQ5742194

I. A. Gorbunov

Publication date: 16 May 2019

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

Full work available at URL: https://doi.org/10.21146/2074-1472-2018-24-1-9-25

zbMATH Keywords

consequence operatorlattice of theoriescompactness in latticesrelation of logical consequencespecifying logic

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Abstract deductive systems (03B22)

This page was built for publication: Логика, единство в трёх лицах