Many-Valued Logics and Bivalent Modalities

&
Logic and Logical Philosophy 31 (4):611-636 (2022)
  Copy   BIBTEX

Abstract

In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency. We also show that these modalities can be used as recovery operators.

Categories

Keywords

Reprint years

DOI

10.12775/llp.2022.013

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,824

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

Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
Many-valued reflexive autoepistemic logic.C. Koutras & S. Zachos - 2000 - Logic Journal of the IGPL 8 (1):33-54.
On classical behavior of intuitionistic modalities.Sergey Drobyshevich - 2014 - Logic and Logical Philosophy 24 (1):79-104.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Undecidability and Non-Axiomatizability of Modal Many-Valued Logics.Amanda Vidal - 2022 - Journal of Symbolic Logic 87 (4):1576-1605.
An Interpretation of Łukasiewicz’s 4-Valued Modal Logic.José M. Méndez, Gemma Robles & Francisco Salto - 2016 - Journal of Philosophical Logic 45 (1):73-87.
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Uniform Cut-Free Bisequent Calculi for Three-Valued Logics.Andrzej Indrzejczak & Yaroslav Petrukhin - 2024 - Logic and Logical Philosophy 33 (3):463-506.

Analytics

Added to PP
2022-04-13

Downloads
30 (#843,673)

6 months
4 (#1,021,603)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giorgio Venturi
University of Campinas

Citations of this work

A cut-free modal theory of consequence.Edson Bezerra - 2025 - Asian Journal of Philosophy 4 (1):1-21.

Add more citations

References found in this work

The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.

View all 17 references / Add more references