Logic, unity in three persons

DOI10.21146/2074-1472-2018-24-1-9-25MaRDI QIDQ5742194zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A syntactic approach to closure operation
• scientific article; zbMATH DE number 753775
• The logic of alternative logical consequence
• Uniqueness, definability and interpolation
• Some remarks on axiomatizing logical consequence operations

Cited in

(3)

• scientific article; zbMATH DE number 7594201 (Why is no real title available?)
• A syntactic approach to closure operation
• Unirationality of Ueno-Campana's threefold

This page was built for publication: Logic, unity in three persons

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5742194)