Non-deterministic matrices: theory and applications to algebraic semantics

• Grant number: 13/04568-1
• Support Opportunities: Scholarships in Brazil - Doctorate
• Start date: August 01, 2013
• End date: February 28, 2017
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Marcelo Esteban Coniglio
• Grantee: Ana Cláudia de Jesus Golzio
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Associated research grant: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS, AP.TEM

Abstract

Non-deterministic Matrices (Nmatrizes) are a generalization of the usual concept of multiple-valued matrix. However, in Nmatrizes, the truth value of a given complex formula may be chosen non-deterministically from a certain nonempty set of options, while the usual logical matrices (two-valued or many-valued) the truth value of a complex formula is determined solely by the truth value of its subformulas. An important utility of Nmatrizes is the fact that they serve as finitary semantics, and therefore decidable for many logics that have only one infinite matrix characteristic as semantics. Therefore, this project aims to initially develop a thorough study of usual logical matrices and the Nmatrices, this study will be done from the perspective of comparison to identify unusual properties of matrices that Nmatrizes not have and vice versa. In particular, we will focus our efforts in the study of so-called abstract algebraic logic, inaugurated by W. Blok and D. Pigozzi, aiming to extend the usual techniques involving matrices for the more general context of Nmatrizes. Besides contributing to the formulation of a theory of Nmatrizes extended, this project intends to use the new results related to Nmatrizes, along with those already existing in the literature, to present an algebraic semantics of finite Nmatrizes for some modal logics and some paraconsistent logics such how systems Cn of da Costa that do not have algebraic semantics in the general sense of Blok-Pigozzi, resolving an open problem in the literature. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

CONIGLIO, MARCELO E.; GOLZIO, ANA CLAUDIA. Swap structures semantics for Ivlev-like modal logics. SOFT COMPUTING, v. 23, n. 7, p. 12-pg., 2019-04-01. (13/04568-1)

CONIGLIO, MARCELO E.; GOLZIO, ANA CLAUDIA. Swap structures semantics for Ivlev-like modal logics. SOFT COMPUTING, v. 23, n. 7, SI, p. 2243-2254, APR 2019. (13/04568-1)

CONIGLIO, MARCELO E.; FIGALLO-ORELLANO, ALDO; GOLZIO, ANA CLAUDIA. Non-deterministic algebraization of logics by swap structures. LOGIC JOURNAL OF THE IGPL, v. 28, n. 5, p. 1021-1059, OCT 2020. (16/21928-0, 13/04568-1)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

GOLZIO, Ana Cláudia de Jesus. Non-deterministic matrices: theory and applications to algebraic semantics. 2017. Doctoral Thesis - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.