Ordered pair semantics and negation in LP

Australasian Journal of Logic 17 (5):201-205 (2020)
  Copy   BIBTEX

Abstract

In this note, I present a modified semantic framework for the multi-valued paraconsistent logic LP, which allows for a straightforward preservation of a significant classical intuition about negation, namely that the negation operator reverses truth-value.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v17i5.4080

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
Contradictoriness, Paraconsistent Negation and Non-intended Models of Classical Logic.Carlos A. Oller - 2016 - In H. Andreas and P. Verdée (ed.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Trends In Logic. pp. 103-110.
Interpreting Negation: A Semantic Theory of Negation for Standard and Non-Standard Logics.Marjorie Hass - 1993 - Dissertation, University of Illinois at Urbana-Champaign
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic.Alexander V. Gheorghiu & David J. Pym - 2023 - Bulletin of the Section of Logic 52 (2):239-266.
A Generalization of Ordered-Pair Semantics.Hitoshi Omori & Jonas R. B. Arenhart - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 149-157.
Negation and Dichotomy.Fabien Schang (ed.) - 2009 - Bydgoszcz: Kazimierz Wielki University Press.
Subminimal Negation on the Australian Plan.Selcuk Kaan Tabakci - 2022 - Journal of Philosophical Logic 51 (5):1119-1139.
The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.
Double Negation as Minimal Negation.Satoru Niki - 2023 - Journal of Logic, Language and Information 32 (5):861-886.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.

Analytics

Added to PP
2021-06-19

Downloads
18 (#825,698)

6 months
7 (#592,867)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
Spandrels of truth.J. C. Beall - 2009 - New York: Oxford University Press.
Spandrels of truth.Jc Beall - 2010 - Bulletin of Symbolic Logic 16 (2):284-286.
Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219-241.

View all 16 references / Add more references