Pure Refined Variable Inclusion Logics

Authors

  • Damian Szmuc IIF-SADAF (CONICET) and University of Buenos Aires, Argentina
  • Mariela Rubin

DOI:

https://doi.org/10.26686/ajl.v19i5.7991

Abstract

In this article, we explore the semantic characterization of the (right) pure refined variable inclusion companion of all logics, which is a further refinement of the nowadays well-studied pure right variable inclusion logics. In particular, we will focus on giving a characterization of these fragments via a single logical matrix, when possible, and via a class of finite matrices, otherwise. In order to achieve this, we will rely on extending the semantics of the logics whose companions we will be discussing with infectious values in direct and in more subtle ways. This further establishes the connection between infectious logics and variable inclusion logics.

Downloads

Download data is not yet available.

Downloads

Published

2022-12-20