Some topological properties of paraconsistent models

  title={Some topological properties of paraconsistent models},
  author={Can Baskent},
  • C. Baskent
  • Published 31 January 2013
  • Mathematics
  • Synthese
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. 

Topological semantics for da costa paraconsistent logics Cω and C∗ ω

In this work, we consider a well-known and well-studied system of paraconsistent logic which is due to Newton da Costa, and present a topological semantics for it.

Modal logic S4 as a paraconsistent logic with a topological semantics

The propositional Logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation, which constitutes a new proof of S4 as being “the logic of topological spaces”, but now under the perspective of paraconsistency.

Paraconsistency and Philosophy of Science: Foundations and Perspectives

This chapter examines the close connections between paraconsistency and philosophy of science, providing a philosophical justification for LFIs, and for paraconsistent logics in general, concluding

Some Non-Classical Approaches to the Branderburger-Keisler Paradox

This article approaches the Brandenburger-Keisler paradox from two different perspectives, non-well-founded set theory and paraconsistent logic, and provides models in which the paradox is solved.

Public Announcements, Topology and Paraconsistency

In this paper, we discuss public announcement logic in topological con-text. Then, as an interesting application, we consider public announcement logic in a paraconsistent topological model.

A Paraconsistent Logic for Contrary-to-Duty Imperatives Can Başkent

This work gives an inconsistencyfriendly framework for contrary-to-duty imperatives and introduces three semantics for it: static, dynamic and topological.

Negative Modalities in the Light of Paraconsistency

This chapter offers a solution to the problem of axiomatizing systems of modal logic such as D and S4 in terms of negative modalities in the perspective of paraconsistency.

The Paradox of Classical Reasoning

Intuitively, the more powerful a theory is, the greater the variety and quantity of ideas can be expressed through its formal language. Therefore, when comparing two theories concerning the same

A Yabloesque paradox in epistemic game theory

A Yabloesque, non-self-referential paradox for infinitary players within the context of epistemic game theory is given and a paraconsistent model satisfying the paradoxical statement is constructed.

Neural Network Explainable AI Based on Paraconsistent Analysis: An Extension

The conclusion shown by this early assessment is that further research on this subject is worthful, and may eventually result in a significant contribution to the field.



Modal languages for topology: Expressivity and definability

Paraconsistent logic from a modal viewpoint

Topological Separation Principles And Logical Theories

The interaction between the properties of topological spaces, particularly separation properties, and logical theories on thosespaces is studied, and Necessary and sufficient conditions which relate the T1-property to theproperties of logical theories, are obtained.

Reasoning About Space: The Modal Way

This work investigates the topological interpretation of modal logic in modern terms, using a new notion of bisimulation, and presents a new proof of McKinsey and Tarski’s theorem on completeness of S4 with respect to the real line and a completeness proof for the logic of finite unions of convex sets of reals.

Mathematical modal logic: A view of its evolution

  • R. Goldblatt
  • Philosophy
    Logic and the Modalities in the Twentieth Century
  • 2006

Modal Logics and Topological Semantics for Hybrid Systems

Abstract : This paper introduces the logic of a control action S4F and the logic of a continuous control action S4C on the state space of a dynamical system. The state space is represented by a

Public Announcement Logic in Geometric Frameworks

The completeness of public announcement logic in different geometric frameworks is proved, namely, subset space models, and the results are applied to different issues: announcement stabilization, backward induction and persistence.

Dynamic topological logic

Modal Logics of Space

The interest of Space remains intriguing – both for mathematical reasons, and given the amount of work in CS and AI on visual reasoning and image processing, which involves logic of spatial structures.

Notes on the Model Theory of DeMorgan Logics

It is demonstrated that Loś’ Theorem holds with respect to DeMorgan logics, which are the classical predicate calculus CL, the paraconsistent (inconsistency-tolerant) logics LP and RM, and the paracomplete logic FDE.