Yoriyuki Yamagata

Available identifiers

zbMath Open yamagata.yoriyukiMaRDI QIDQ736822

List of research outcomes

Publication	Date of Publication	Type
Notion of validity for the bilateral classical logic	2023-10-20	Paper
Separation of bounded arithmetic using a consistency statement	2019-04-14	Paper
CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC	2018-10-26	Paper
A formal semantics of extended hierarchical state transition matrices using CSP\#	2016-08-05	Paper
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking	2014-05-05	Paper
Bounded Arithmetic in Free Logic	2012-08-15	Paper
On Use of an Explicit Congruence Predicate in Bounded Arithmetic	2009-04-02	Paper
A sequent calculus for limit computable mathematics	2008-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q5714454	2006-01-02	Paper
Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus	2004-10-04	Paper
Strong normalization of a symmetric lambda calculus for second-order classical logic	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4548527	2002-08-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yoriyuki Yamagata