4 citations · 4 across the 2 of their papers we have counts for
2 papers
math.LO2023
Notion of validity for the bilateral classical logic
Ukyo Suzuki, Yoriyuki Yamagata
This paper explores proof-theoretic semantics, a formal approach to inferential semantics. It derives sentence meaning from formalized proofs, building upon Gentzen and Prawitz's w…
cs.SE2014★ 4 cited
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking
Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa
If a Micro Processor Unit (MPU) receives an external electric signal as noise, the system function will freeze or malfunction easily. A new resilience strategy is implemented in or…