An Approach to Evaluate the Local Completeness of an Event Log

Author(s):  
Hedong Yang ◽  
Lijie Wen ◽  
Jianmin Wang
Keyword(s):  
Author(s):  
Leilei Lin ◽  
Lijie Wen ◽  
Li Lin ◽  
Jisheng Pei ◽  
Hedong Yang

Author(s):  
Shaohan Huang ◽  
Yi Liu ◽  
Carol Fung ◽  
Rong He ◽  
Yining Zhao ◽  
...  
Keyword(s):  

2015 ◽  
Vol 8 (2) ◽  
pp. 296-305 ◽  
Author(s):  
NISSIM FRANCEZ

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.


Author(s):  
Robert Andrews ◽  
Suriadi Suriadi ◽  
Chun Ouyang ◽  
Erik Poppe
Keyword(s):  

2017 ◽  
Vol 15 (5) ◽  
pp. 419-426 ◽  
Author(s):  
Brian G. Arndt ◽  
John W. Beasley ◽  
Michelle D. Watkinson ◽  
Jonathan L. Temte ◽  
Wen-Jan Tuan ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document