Description

• Title:
  Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics
• Creator:
  Voutsadakis, George
• Contributor:
  School of Mathematics and Computer Science, Lake Superior State University, Sault Sainte Marie, MI 49783, USA;
  gvoutsad@lssu.edu
• Description:
  This work adapts techniques and results first developed by Malinowski and by Marek in the context of referential semantics of sentential logics to the context of logics formalized as π-institutions. More precisely, the notion of a pseudoreferential matrix system is introduced and it is shown how this construct generalizes that of a referential matrix system. It is then shown that every π–institution has a pseudo-referential matrix system semantics. This contrasts with referential matrix system semantics which is only available for self-extensional π-institutions by a previous result of the author obtained as an extension of a classical result of Wójcicki. Finally, it is shown that it is possible to replace an arbitrary pseudoreferential matrix system semantics by a discrete pseudo-referential matrix system semantics.
• Object availability:
  free access
• Rights:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2019.01.14;
  2018
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;2;
  47
• Subject:
  Referential Logics;
  Selfextensional Logics;
  Referential Semantics;
  Referential π-institutions;
  Selfextensional π-institutions;
  Pseudo- Referential Semantics;
  Discrete Referential Semantics;
  03G27
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/26413 ;
  2449-836X;
  10.18778/0138-0680.47.2.01
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image