Opis

• Tytuł:
  Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions
• Twórca:
  Voutsadakis, George
• Współtwórca:
  Lake Superior State University, School of Mathematics and Computer Science;
  gvoutsad@lssu.edu
• Opis:
  Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions. We show that the -institutions corresponding to the hidden multi-sorted deductive systems studied by Babenyshev and Martins satisfy the multi-term condition of Gil-Férez. This provides a proof of the result of Babenyshev and Martins by appealing to the general result of Gil-Férez pertaining to arbitrary multi-term -institutions. The approach places hidden multi-sorted deductive systems in a more general framework and bypasses the laborious reuse of well-known proof techniques from traditional abstract algebraic logic by using “off the shelf” tools.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016
• Data:
  2017.05.16;
  2016
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;2;
  45
• Temat i słowa kluczowe:
  Behavioral Equivalence;
  Hidden Logic;
  Multi-Sorted Logic;
  Multi-term -Institutions;
  Interpretability;
  Deductive Equivalence
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/21627 ;
  2449-836X;
  10.18778/0138-0680.45.2.04
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy