Abstract logics, logic maps, and logic homomorphisms

DOI10.1007/S11787-007-0013-ZzbMath1131.03006OpenAlexW1976522453MaRDI QIDQ2470758

Steffen Lewitzka

Publication date: 15 February 2008

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

Full work available at URL: https://doi.org/10.1007/s11787-007-0013-z

zbMATH Keywords

institutionsuniversal logictopological approachabstract logicslogic homomorphismlogic mapslogic translations

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract deductive systems (03B22) Abstract model theory (03C95)

Related Items (3)

Topological representation of intuitionistic and distributive abstract logics ⋮ Minimally generated abstract logics ⋮ \(\in_K\): a non-Fregean logic of explicit knowledge

This page was built for publication: Abstract logics, logic maps, and logic homomorphisms