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
Completeness proof by semantic diagrams for transitive closure of accessibility relation	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

This page was built for person: Ryo Kashima