Some topological properties of paraconsistent models

Synthese 190 (18):4023-4040 (2013)
  Copy   BIBTEX

Abstract

In this work, we investigate the relationship between paraconsistent semantics and some well-known topological spaces such as connected and continuous spaces. We also discuss homotopies as truth preserving operations in paraconsistent topological models

Categories

Keywords

Reprint years

DOI

10.1007/s11229-013-0246-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

Modal logic S4 as a paraconsistent logic with a topological semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Caleiro Carlos, Dionisio Francisco, Gouveia Paula, Mateus Paulo & Rasga João (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications. pp. 171-196.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic.Tomasz Witczak - 2019 - Bulletin of the Section of Logic 48 (3):187-205.
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.Jennifer M. Davoren - 2010 - Annals of Pure and Applied Logic 161 (3):349-367.
Dynamic topological logic.S. Artemov - unknown
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.Juan C. Agudelo-Agudelo - 2024 - Journal of Applied Non-Classical Logics 34 (1):31-54.
Topological Models for Extensional Partial Set Theory.Roland Hinnion & Thierry Libert - 2008 - Notre Dame Journal of Formal Logic 49 (1):39-53.

Analytics

Added to PP
2013-11-21

Downloads
39 (#568,851)

6 months
7 (#671,981)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Can Başkent
Middlesex University

Citations of this work

The Paradox of Classical Reasoning.Arkady Bolotin - 2022 - Foundations of Physics 52 (4):1-21.

Add more citations

References found in this work

Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.

View all 23 references / Add more references