Defining LFIs and LFUs in extensions of infectious logics
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.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Recovery operators, paraconsistency and duality.Walter A. Carnielli,Marcelo E. Coniglio &Abilio Rodrigues Filho -2020 -Logic Journal of the IGPL 28 (5):624-656.
Conjunction and Disjunction in Infectious Logics.Hitoshi Omori &Damian Szmuc -2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada,Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 268-283.
Recovery operators, paraconsistency and duality.Walter Carnielli,Marcelo E. Coniglio &Abilio Rodrigues -2020 -Logic Journal of the IGPL 28 (5):624-656.
Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli,Marcelo E. Coniglio &David Fuenmayor -2022 -Review of Symbolic Logic 15 (3):771-806.
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics.Massimiliano Carrara,Filippo Mancini,Michele Pra Baldi &Wei Zhu -2024 -Studia Logica 112 (6):1439-1463.
Infectious and transparent emotivism.Jeremiah Joven Joaquin -2021 -Journal of Applied Non-Classical Logics 32 (1):1-10.
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.
Normality operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto &Massimiliano Carrara -forthcoming -Logic Journal of the IGPL.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson -2015 -Journal of Philosophical Logic 44 (1):65-80.
Analytics
Added to PP
2017-02-23
Downloads
694 (#41,669)
6 months
143 (#39,142)
2017-02-23
Downloads
694 (#41,669)
6 months
143 (#39,142)
Historical graph of downloads
How can I increase my downloads?Author's Profile
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.
Theories of truth based on four-valued infectious logics.Damian Szmuc,Bruno Da Re &Federico Pailos -2020 -Logic Journal of the IGPL 28 (5):712-746.
Meaningless Divisions.Damian Szmuc &Thomas Macaulay Ferguson -2021 -Notre Dame Journal of Formal Logic 62 (3):399-424.
Logics of left variable inclusion and Płonka sums of matrices.S. Bonzio,T. Moraschini &M. Pra Baldi -2020 -Archive for Mathematical Logic (1):49-76.
Containment Logics: Algebraic Completeness and Axiomatization.Stefano Bonzio &Michele Pra Baldi -2021 -Studia Logica 109 (5):969-994.
References found in this work
An Introduction to Non-Classical Logic: From If to Is.Graham Priest -2008 - New York: Cambridge University Press.
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli &Marcelo Esteban Coniglio -2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest -2008 -Bulletin of Symbolic Logic 14 (4):544-545.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-vb4rf uwo