An infinitary axiomatization of dynamic topological logic

2020 ◽  
Author(s):  
Somayeh Chopoghloo ◽  
Morteza Moniri
Keyword(s):  
Continuous Function ◽  
Modal Logic ◽  
Topological Space ◽  
Axiomatic System ◽  
Proof System ◽  
Strong Completeness ◽  
Alexandrov Spaces ◽  
Modal Language ◽  
Derivation Rule ◽  
Dynamic Topological Logic

Abstract Dynamic topological logic ($\textsf{DTL}$) is a multi-modal logic that was introduced for reasoning about dynamic topological systems, i.e. structures of the form $\langle{\mathfrak{X}, f}\rangle $, where $\mathfrak{X}$ is a topological space and $f$ is a continuous function on it. The problem of finding a complete and natural axiomatization for this logic in the original tri-modal language has been open for more than one decade. In this paper, we give a natural axiomatization of $\textsf{DTL}$ and prove its strong completeness with respect to the class of all dynamic topological systems. Our proof system is infinitary in the sense that it contains an infinitary derivation rule with countably many premises and one conclusion. It should be remarked that $\textsf{DTL}$ is semantically non-compact, so no finitary proof system for this logic could be strongly complete. Moreover, we provide an infinitary axiomatic system for the logic ${\textsf{DTL}}_{\mathcal{A}}$, i.e. the $\textsf{DTL}$ of Alexandrov spaces, and show that it is strongly complete with respect to the class of all dynamical systems based on Alexandrov spaces.

scholarly journals A Note on Ciuciura’s mbC1

2019 ◽  
Vol 48 (3) ◽  
pp. 161-171
Author(s):  
Hitoshi Omori
Keyword(s):  
Proof System ◽  
Strong Completeness

This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.

Monomorphisms of Semigroups of Local Dendrites

1986 ◽  
Vol 38 (4) ◽  
pp. 769-780 ◽  
Author(s):  
K. D. Magill
Keyword(s):  
Continuous Function ◽  
Topological Space

When we speak of the semigroup of a topological space X, we mean S(X) the semigroup of all continuous self maps of X. Let h be a homeomorphism from a topological space X onto a topological space Y. It is immediate that the mapping which sends f ∊ S(X) into h º f º h−1 is an isomorphism from the semigroup of X onto the semigroup of Y. More generally, let h be a continuous function from X into Y and k a continuous function from Y into X such that k º h is the identity map on X. One easily verifies that the mapping which sends f into h º f º k is a monomorphism from S(X) into S(Y). Now for “most” spaces X and Y, every isomorphism from S(X) onto S(Y) is induced by a homeomorphism from X onto Y. Indeed, a number of the early papers dealing with S(X) were devoted to establishing this fact.

scholarly journals rc-continuous functions and functions with rc-strongly closed graph

2003 ◽  
Vol 2003 (72) ◽  
pp. 4547-4555
Author(s):  
Bassam Al-Nashef
Keyword(s):  
Continuous Function ◽  
Topological Space ◽  
Continuous Functions ◽  
Closed Graph ◽  
Compact Spaces ◽  
Extremally Disconnected ◽  
The Family ◽  
Regular Closed

The family of regular closed subsets of a topological space is used to introduce two concepts concerning a functionffrom a spaceXto a spaceY. The first of them is the notion offbeing rc-continuous. One of the established results states that a spaceYis extremally disconnected if and only if each continuous function from a spaceXtoYis rc-continuous. The second concept studied is the notion of a functionfhaving an rc-strongly closed graph. Also one of the established results characterizes rc-compact spaces (≡S-closed spaces) in terms of functions that possess rc-strongly closed graph.

On an Axiomatic System of Modal Logic

1968 ◽  
Vol 14 (1-5) ◽  
pp. 61-66
Author(s):  
Akira Nakamura
Keyword(s):  
Modal Logic ◽  
Axiomatic System

scholarly journals Fine Fuzzy sp Closed Sets in Fine Fuzzy Topological Spaces

2020 ◽  
Vol 9 (3) ◽  
pp. 1306-1313
Keyword(s):  
Continuous Function ◽  
Topological Space ◽  
Inverse Image ◽  
Continuous Functions ◽  
Topological Spaces ◽  
The Novel ◽  
Closed Set ◽  
Closed Sets ◽  
Fuzzy Topological Space ◽  
Fuzzy Topological Spaces

The main view of this article is the extended version of the fine topological space to the novel kind of space say fine fuzzy topological space which is developed by the notion called collection of quasi coincident of fuzzy sets. In this connection, fine fuzzy closed sets are introduced and studied some features on it. Further, the relationship between fine fuzzy closed sets with certain types of fine fuzzy closed sets are investigated and their converses need not be true are elucidated with necessary examples. Fine fuzzy continuous function is defined as the inverse image of fine fuzzy closed set is fine fuzzy closed and its interrelations with other types of fine fuzzy continuous functions are obtained. The reverse implication need not be true is proven with examples. Finally, the applications of fine fuzzy continuous function are explained by using the composition.

scholarly journals A GENERALIZATION OF SIERPINSKI THEOREM ON UNIQUE DETERMINING OF A SEPARATELY CONTINUOUS FUNCTION

2021 ◽  
Vol 9 (1) ◽  
pp. 250-263
Author(s):  
V. Mykhaylyuk ◽  
O. Karlova
Keyword(s):  
Continuous Function ◽  
Topological Space ◽  
Dense Subset ◽  
Continuous Functions ◽  
Baire Space ◽  
Regular Space ◽  
Topological Spaces ◽  
Infinite Cardinal ◽  
Urysohn Space ◽  
Completely Regular

In 1932 Sierpi\'nski proved that every real-valued separately continuous function defined on the plane $\mathbb R^2$ is determined uniquely on any everywhere dense subset of $\mathbb R^2$. Namely, if two separately continuous functions coincide of an everywhere dense subset of $\mathbb R^2$, then they are equal at each point of the plane. Piotrowski and Wingler showed that above-mentioned results can be transferred to maps with values in completely regular spaces. They proved that if every separately continuous function $f:X\times Y\to \mathbb R$ is feebly continuous, then for every completely regular space $Z$ every separately continuous map defined on $X\times Y$ with values in $Z$ is determined uniquely on everywhere dense subset of $X\times Y$. Henriksen and Woods proved that for an infinite cardinal $\aleph$, an $\aleph^+$-Baire space $X$ and a topological space $Y$ with countable $\pi$-character every separately continuous function $f:X\times Y\to \mathbb R$ is also determined uniquely on everywhere dense subset of $X\times Y$. Later, Mykhaylyuk proved the same result for a Baire space $X$, a topological space $Y$ with countable $\pi$-character and Urysohn space $Z$. Moreover, it is natural to consider weaker conditions than separate continuity. The results in this direction were obtained by Volodymyr Maslyuchenko and Filipchuk. They proved that if $X$ is a Baire space, $Y$ is a topological space with countable $\pi$-character, $Z$ is Urysohn space, $A\subseteq X\times Y$ is everywhere dense set, $f:X\times Y\to Z$ and $g:X\times Y\to Z$ are weakly horizontally quasi-continuous, continuous with respect to the second variable, equi-feebly continuous wuth respect to the first one and such that $f|_A=g|_A$, then $f=g$. In this paper we generalize all of the results mentioned above. Moreover, we analize classes of topological spaces wich are favorable for Sierpi\'nsi-type theorems.

scholarly journals Tietze Extension Theorem for n-dimensional Spaces

2014 ◽  
Vol 22 (1) ◽  
pp. 11-19 ◽  
Author(s):  
Karol Pąk
Keyword(s):  
Continuous Function ◽  
Topological Space ◽  
Compact Subset ◽  
Closed Subset ◽  
Extension Theorem ◽  
Convex Compact ◽  
Arbitrary Subset ◽  
Empty Interior ◽  
Convex Compact Subset ◽  
Arbitrary Convex

Summary In this article we prove the Tietze extension theorem for an arbitrary convex compact subset of εn with a non-empty interior. This theorem states that, if T is a normal topological space, X is a closed subset of T, and A is a convex compact subset of εn with a non-empty interior, then a continuous function f : X → A can be extended to a continuous function g : T → εn. Additionally we show that a subset A is replaceable by an arbitrary subset of a topological space that is homeomorphic with a convex compact subset of En with a non-empty interior. This article is based on [20]; [23] and [22] can also serve as reference books.

scholarly journals Fuzzy pre-continuous and fuzzy pre*-continuous function of fuzzy pre-compact space in fuzzy topological space

2015 ◽  
Vol 3 (1) ◽  
pp. 87
Author(s):  
Munir Abdul Khalik Al-Khafaji ◽  
Marwah Hasan
Keyword(s):  
Continuous Function ◽  
Topological Space ◽  
Compact Space ◽  
Fuzzy Topological Space

<p>The aim of this paper is to introduce and study the notion of a fuzzy pre-continuous function, fuzzy pre*- continuous function, fuzzy pre-compact space and some properties, remarks related to them.</p>

Lower bounds for modal logics

2007 ◽  
Vol 72 (3) ◽  
pp. 941-958 ◽  
Author(s):  
Pavel Hrubeš
Keyword(s):  
Lower Bound ◽  
Modal Logic ◽  
Lower Bounds ◽  
Modal Logics ◽  
Proof System ◽  
Speed Up ◽  
Exponential Lower Bound

AbstractWe give an exponential lower bound on number of proof-lines in the proof system K of modal logic, i.e., we give an example of K-tautologies ψ1, ψ2, … s.t. every K-proof of ψi must have a number of proof-lines exponential in terms of the size of ψi. The result extends, for the same sequence of K-tautologies, to the systems K4, Gödel–Löb's logic, S andS4. We also determine some speed-up relations between different systems of modal logic on formulas of modal-depth one.

scholarly journals The space of ideals in the minimal tensor product of C*-algebras

2010 ◽  
Vol 148 (2) ◽  
pp. 243-252 ◽  
Author(s):  
ALDO J. LAZAR
Keyword(s):  
Continuous Function ◽  
Topological Space ◽  
Tensor Product ◽  
C Algebras

AbstractFor C*-algebras A1, A2 the map (I1, I2) → ker(qI1 ⊗ qI2) from Id′(A1) × Id′(A2) into Id′(A1 ⊗minA2) is a homeomorphism onto its image which is dense in the range. Here, for a C*-algebra A, the space of all proper closed two sided ideals endowed with an adequate topology is denoted Id′(A) and qI is the quotient map of A onto A/I. This result is used to show that any continuous function on Prim(A1) × Prim(A2) with values into a T1 topological space can be extended to Prim(A1 ⊗minA2). This enlarges the scope of [7, corollary 3·5] that dealt only with scalar valued functions. A new proof for a result of Archbold [3] about the space of minimal primal ideals of A1 ⊗minA2 is obtained also by using the homeomorphism mentioned above. New proofs of the equivalence of the property (F) of Tomiyama for A1 ⊗minA2 with certain other properties are presented.

Sign in / Sign up

Export Citation Format

Share Document