Kaustuv Chaudhuri

Available identifiers

zbMath Open chaudhuri.kaustuvMaRDI QIDQ928658

List of research outcomes

Publication	Date of Publication	Type
Formal Reasoning Using Distributed Assertions	2024-05-03	Paper
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
The focused calculus of structures	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

This page was built for person: Kaustuv Chaudhuri