Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics

Bulletin of Symbolic Logic 28 (2):260-261 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2021.35

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Towards an hyperalgebraic theory of non-algebraizable logics.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana C. Golzio - 2016 - CLE E-Prints 16 (4):1-27.
Equivalential logics.Janusz Czelakowski - 1980 - Bulletin of the Section of Logic 9 (3):108-113.
Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton Peron - 2020 - Logic Journal of the IGPL 28 (3):281-315.
Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
Distance-based non-deterministic semantics for reasoning with uncertainty.Ofer Arieli & Anna Zamansky - 2009 - Logic Journal of the IGPL 17 (4):325-350.
Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Fariñas Del Cerro Luis & Marques Peron Newton - 2020 - Logic Journal of the IGPL 28 (3):281-315.
Swap structures semantics for Ivlev-like modal logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
Two Decision Procedures for da Costa’s $$C_n$$ C n Logics Based on Restricted Nmatrix Semantics.Marcelo E. Coniglio & Guilherme V. Toledo - 2022 - Studia Logica 110 (3):601-642.
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices.Eduardo Hirsh & Renato A. Lewin - 2008 - Mathematical Logic Quarterly 54 (2):153-166.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Finite non-deterministic semantics for some modal systems.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2015 - Journal of Applied Non-Classical Logics 25 (1):20-45.

Analytics

Added to PP
2022-06-28

Downloads
8 (#1,291,989)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ana Claudia Golzio
University of Campinas

Citations of this work

Add more citations

References found in this work

No references found.

Add more references