Ryo Kashima

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Cut-free sequent calculi for the provability logic D	2023-10-25	Paper
On the completeness and the decidability of strictly monadic second‐order logic	2023-09-12	Paper
Semantical cut-elimination for the provability logic of true arithmetic	2023-09-11	Paper
Term-space semantics of typed lambda calculus	2021-09-07	Paper
Reduction rules for intuitionistic \(\lambda\rho\)-calculus	2015-12-07	Paper
An axiomatization of ECTL	2014-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q2904055	2012-08-05	Paper
General Models and Completeness of First-Order Modal -calculus	2008-08-15	Paper
Sequent Calculi for Some Strict Implication Logics	2008-05-05	Paper
Kripke Completeness of First-Order Constructive Logics with Strong Negation	2004-05-27	Paper
Sequent calculi for Visser's propositional logics	2003-10-13	Paper
On semilattice relevant logics	2003-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4548529	2002-08-26	Paper
Completeness of implicational relevant logics	2000-12-19	Paper
Substructural implicational logics including the relevant logic E	2000-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4703130	1999-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4704073	1999-12-02	Paper
On the Difficulty of Writing Out formal Proofs in Arithmetic	1998-01-11	Paper
Contraction-elimination for implicational logics	1997-10-06	Paper
Cut‐Elimination Theorem for the Logic of Constant Domains	1995-09-28	Paper
Cut-free sequent calculi for some tense logics	1994-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4032538	1993-04-01	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: Ryo Kashima