Theory of completeness for logical spaces

DOI10.1007/s11787-009-0008-zzbMath1255.03021OpenAlexW2125648391MaRDI QIDQ1931338

Kensaku Gomi

Publication date: 25 January 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-009-0008-z

zbMATH Keywords

completenesssemanticsdeductionabstract logicuniversal logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (2)

Theory of completeness for logical spaces ⋮ Homotopical Categories of Logics

Cites Work

• Unnamed Item
• A survey of abstract algebraic logic
• Theory of completeness for logical spaces
• The completeness of the first-order functional calculus

This page was built for publication: Theory of completeness for logical spaces