Defining LFIs and LFUs in extensions of infectious logics

Journal of Applied Non-Classical Logics 26 (4):286-314 (2016)
  Copy   BIBTEX

Abstract

The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.

Categories

Keywords

Reprint years

2017

DOI

10.1080/11663081.2017.1290488

Links

PhilArchive

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.
Paraconsistent Belief Revision based on a formal consistency operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
Logics of formal inconsistency arising from systems of fuzzy logic.Marcelo E. Coniglio, Francesc Esteva & Lluís Godo - 2014 - Logic Journal of the IGPL 22 (6):880-904.
On the way to a Wider model theory: Completeness theorems for first-order logics of formal inconsistency.Walter Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki & Tarcísio Rodrigues - 2014 - Review of Symbolic Logic 7 (3):548-578.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
Completeness and Decidability of Tense Logics Closely Related to Logics Above K4.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
Many-valued non-deterministic semantics for first-order logics of formal (in)consistency.Arnon Avron - manuscript
On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
Cut Elimination In Noncommutative Substructural Logics.Bayu Surarso & Hiroakira Ono - 1996 - Reports on Mathematical Logic:13-29.

Analytics

Added to PP
2017-02-23

Downloads
247 (#60,728)

6 months
73 (#24,257)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Damian Szmuc
Universidad de Buenos Aires (UBA)

Citations of this work

Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.

View all 20 citations / Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.

View all 38 references / Add more references