Results 11 to 20 of about 43,488 (132)
Topology and Its ApplicationsA standard introductory result is that Hausdorff spaces have the property US, that is, each convergent sequence has a unique limit. This paper explores several existing and new characterizations of separation axioms that are strictly weaker than $T_2$ but strictly stronger than US.
Steven Clontz
exaly +3 more sources
Internal Calculi for Separation Logics [PDF]
, 2020 We present a general approach to axiomatise separation logics with heaplet semantics with no external features such as nominals/labels. To start with, we design the first (internal) Hilbert-style axiomatisation for the quantifier-free separation logic SL(
, Lozes, Etienne, Mansutti, Alessio
core +3 more sources
Computably regular topological spaces [PDF]
, 2013 This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation.
Weihrauch, Klaus
core +2 more sources
Division by zero in non-involutive meadows [PDF]
, 2014 Meadows have been proposed as alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Thus,
Bergstra, J. A., Middelburg, C. A.
core +12 more sources
On extension functions for image space with different separation axioms [PDF]
, 2016 In this paper we study a sufficient conditions for continuous and almost continuous extensions of f to space X for an image space Y with different separation axioms.Comment: 11 ...
Osipov, Alexander V.
core +2 more sources
A Requirements Capture Method and Its Use in an Air Traffic Control Application [PDF]
, 1995 This paper describes our experience in capturing, using a formal specification language, a model of the knowledge-intensive domain of oceanic air traffic control.
Jones, S. +4 more
core +2 more sources
GENERALIZATION SOME FUZZY SEPARATION AXIOMS TO DITOPOLOGICAL TEXTURE SPACES [PDF]
, 2009 The authors characterize the notion of quasi coincident in texture spaces and study the generalization of fuzzy quasi separation axioms defined by [12] to the ditopological texture ...
Riza Ertürk, Selma Özçag, Senol Dost
core +1 more source
Demonstratio Mathematica, 2020 AbstractMany mathematicians defined and studied soft separation axioms and soft continuity in soft spaces by using ordinary points of a topological spaceX. Also, some of them studied the same concepts by using soft points. In this paper, we introduce the concepts of soft{p}_{c}-{T}_{i}and soft{p}_{c}-{T}_{i}^{\ast },i=0,1,2by using the concept of soft ...
Hamko Qumri H. +2 more
openaire +3 more sources
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools [PDF]
, 2013 We provide simple equational principles for deriving rely-guarantee-style inference rules and refinement laws based on idempotent semirings. We link the algebraic layer with concrete models of programs based on languages and execution traces.
A. Armstrong +19 more
core +1 more source
On Deciding Local Theory Extensions via E-matching [PDF]
, 2015 Satisfiability Modulo Theories (SMT) solvers incorporate decision procedures for theories of data types that commonly occur in software. This makes them important tools for automating verification problems.
A Albarghouthi +25 more
core +1 more source