Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufba.br/handle/ri/14354
metadata.dc.type: | Artigo de Periódico |
Título : | Abstract logics, logic maps, and logic homomorphisms |
Otros títulos : | Logica Universalis |
Autor : | Lewitzka, Steffen |
metadata.dc.creator: | Lewitzka, Steffen |
Resumen : | What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory. Each abstract logic determines a topology on the set of theories. We develop a theory of logic maps and show in what way they induce (continuous, open) functions on the corresponding topological spaces. We also establish connections to well-known notions such as translations of logics and the satisfaction axiom of institutions [5]. Logic homomorphisms are maps that behave in some sense like continuous functions and preserve more topological structure than logic maps in general. We introduce the notion of a logic isomorphism as a (not necessarily bijective) function on the sets of formulas that induces a homeomorphism between the respective topological spaces and gives rise to an equivalence relation on abstract logics. Therefore, we propose logic isomorphisms as an adequate and precise notion for equivalence of logics. Finally, we compare this concept with another recent proposal presented in [2]. |
Palabras clave : | Primary 03B22 Secondary 54A99, 03G30 Abstract logics Logic maps Logic translations Logic homomorphism Universal logic Topology Institutions |
metadata.dc.rights: | Acesso Aberto |
URI : | http://repositorio.ufba.br/ri/handle/ri/14354 |
Fecha de publicación : | 2007 |
Aparece en las colecciones: | Artigo Publicado em Periódico (PGCOMP) |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
art%3A10.1007%2Fs11787-007-0013-z.pdf | 340,81 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.