Truth diagrams for some non-classical and modal logics
Article
Baskent, C. 2024. Truth diagrams for some non-classical and modal logics. Journal of Applied Non-Classical Logics. https://doi.org/10.1080/11663081.2024.2366752
Type | Article |
---|---|
Title | Truth diagrams for some non-classical and modal logics |
Authors | Baskent, C. |
Abstract | This paper examines truth diagrams for some non-classical, modal and dynamic logics. Truth diagrams are diagrammatic and visual ways to represent logical truth akin to truth tables, developed by Peter C.-H. Cheng. Currently, it is only given for classical propositional logic. In this paper, we establish truth diagrams for Priest's Logic of Paradox, Belnap–Dunn's Four-Valued Logic, MacColl's Connexive Logic, Bochvar–Halldén's Logic of Non-Sense, Carnielli–Coniglio's logic of formal inconsistency as well as classical modal logic and its dynamic extension to shed light on the semantic behaviour of some non-classical and modal logics. |
Keywords | Truth diagrams; paraconsistent logic; non-classical logic; modal logic |
Sustainable Development Goals | 4 Quality education |
Middlesex University Theme | Creativity, Culture & Enterprise |
Publisher | Taylor & Francis (Routledge) |
Journal | Journal of Applied Non-Classical Logics |
ISSN | 1166-3081 |
Electronic | 1958-5780 |
Publication dates | |
Online | 04 Jul 2024 |
Publication process dates | |
Submitted | 04 Jul 2023 |
Accepted | 20 Apr 2024 |
Deposited | 08 Jul 2024 |
Output status | Published |
Accepted author manuscript | License File Access Level Open |
Copyright Statement | This is an original manuscript of an article published by Taylor & Francis in Journal of Applied Non-Classical Logics on 04 July 2024, available at: https://doi.org/10.1080/11663081.2024.2366752. |
Digital Object Identifier (DOI) | https://doi.org/10.1080/11663081.2024.2366752 |
https://repository.mdx.ac.uk/item/15zy15
Restricted files
Accepted author manuscript
21
total views1
total downloads5
views this month0
downloads this month