Rexpansions of nondeterministic matrices and their applications in nonclassical logics

&
Review of Symbolic Logic 12 (1):173-200 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1755020318000321

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

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

Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
Russell and his sources for non-classical logics.Irving H. Anellis - 2009 - Logica Universalis 3 (2):153-218.
Doing the right things–trivalence in deontic action logic.Piotr Kulicki & Robert Trypuz - 2012 - Trivalent Logics and Their Applications.
Relational Logics and Their Applications.Joanna Golińska-Pilarek & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 125.
Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990 : Proceedings.David A. Pearce & Heinrich Wansing - 1992 - Springer.
Four-Valued Paradefinite Logics.Ofer Arieli & Arnon Avron - 2017 - Studia Logica 105 (6):1087-1122.
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1977 - In Wilfrid Hodges (ed.), Logic. New York: Penguin Books. pp. 1-32.
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi.Katalin Bimbó & J. Michael Dunn - 2008 - Center for the Study of Language and Inf.
Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions.Eric Schechter - 2005 - Princeton University Press.
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices.Eduardo Hirsh & Renato A. Lewin - 2008 - Mathematical Logic Quarterly 54 (2):153-166.
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
On reduced matrices.Wolfgang Rautenberg - 1993 - Studia Logica 52 (1):63 - 72.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.

Analytics

Added to PP
2018-10-27

Downloads
16 (#928,967)

6 months
5 (#700,287)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modular Many-Valued Semantics for Combined Logics.Carlos Caleiro & Sérgio Marcelino - 2024 - Journal of Symbolic Logic 89 (2):583-636.

Add more citations

References found in this work

The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.

View all 12 references / Add more references