scholarly journals Local Completeness and Drop Theorem

2002 ◽  
Vol 266 (2) ◽  
pp. 288-297 ◽  
Author(s):  
Jing-Hui Qiu
Keyword(s):  
Local Completeness ◽  
Drop Theorem

LCDD: Detecting Business Process Drifts Based on Local Completeness

2020 ◽  
pp. 1-1
Author(s):  
Leilei Lin ◽  
Lijie Wen ◽  
Li Lin ◽  
Jisheng Pei ◽  
Hedong Yang
Keyword(s):  
Business Process ◽  
Local Completeness

ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

2015 ◽  
Vol 8 (2) ◽  
pp. 296-305 ◽  
Author(s):  
NISSIM FRANCEZ
Keyword(s):  
Natural Deduction ◽  
Proof System ◽  
Logical Constants ◽  
Local Completeness ◽  
Definition Of ◽  
The Impact

AbstractThe paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony.

scholarly journals Some remarks about Mackey convergence

1995 ◽  
Vol 18 (4) ◽  
pp. 659-664
Author(s):  
Józef Burzyk ◽  
Thomas E. Gilsdorf
Keyword(s):  
Convergence Condition ◽  
Locally Convex Spaces ◽  
Local Completeness ◽  
Continuous Seminorm ◽  
Locally Convex ◽  
Convergent Sequences ◽  
Convex Spaces

In this paper, we examine Mackey convergence with respect toK-convergence and bornological (Hausdorff locally convex) spaces. In particular, we prove that: Mackey convergence and local completeness imply propertyK; there are spaces havingK- convergent sequences that are not Mackey convergent; there exists a space satisfying the Mackey convergence condition, is barrelled, but is not bornological; and if a space satisfies the biackey convergence condition and every sequentially continuous seminorm is continuous, then the space is bornological.

scholarly journals Local completeness, Pareto efficiency and Mackey Bishop-Phelps cones

2019 ◽  
Vol 6 (1) ◽  
pp. 19-25
Author(s):  
Elvio Accinelli ◽  
◽  
Armando García
Keyword(s):  
Pareto Efficiency ◽  
Local Completeness
Sign in / Sign up

Export Citation Format

Share Document