Kaustuv Chaudhuri

Available identifiers

zbMath Open chaudhuri.kaustuvMaRDI QIDQ928658

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5015208	2021-12-06	Paper
Subformula linking for intuitionistic logic with application to type theory	2021-12-01	Paper
Hybrid linear logic, revisited	2019-10-09	Paper
Abella: A System for Reasoning about Relational Specifications	2019-09-18	Paper
Expressing additives using multiplicatives and subexponentials	2018-04-25	Paper
Equality and fixpoints in the calculus of structures	2018-04-23	Paper
Modular Focused Proof Systems for Intuitionistic Modal Logics	2017-10-17	Paper
A Proof-theoretic Characterization of Independence in Type Theory	2017-07-12	Paper
A Two-Level Logic Approach to Reasoning about Typed Specification Languages	2017-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q2968415	2017-03-13	Paper
A multi-focused proof system isomorphic to expansion proofs	2016-07-07	Paper
Focused and Synthetic Nested Sequents	2016-06-10	Paper
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials	2016-01-12	Paper
Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations	2015-12-11	Paper
Subformula Linking as an Interaction Method	2013-08-07	Paper
Compact Proof Certificates for Linear Logic	2013-04-19	Paper
A Systematic Approach to Canonicity in the Classical Sequent Calculus	2012-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q2915680	2012-09-18	Paper
Magically Constraining the Inverse Method Using Dynamic Polarity Assignment	2010-10-12	Paper
Classical and Intuitionistic Subexponential Logics Are Equally Expressive	2010-09-03	Paper
A Logical Characterization of Forward and Backward Chaining in the Inverse Method	2009-03-12	Paper
Focusing Strategies in the Sequent Calculus of Synthetic Connectives	2009-01-27	Paper
A logical characterization of forward and backward chaining in the inverse method	2008-06-11	Paper
Computer Science Logic	2006-11-01	Paper
Automated Deduction – CADE-20	2006-11-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: Kaustuv Chaudhuri