The following pages link to Kaustuv Chaudhuri (Q928658):
Displaying 25 items.
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Subformula linking for intuitionistic logic with application to type theory (Q2055855) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- (Q2915680) (← links)
- (Q2968415) (← links)
- A Two-Level Logic Approach to Reasoning about Typed Specification Languages (Q2978545) (← links)
- Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations (Q3455767) (← links)
- An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials (Q3460050) (← links)
- Classical and Intuitionistic Subexponential Logics Are Equally Expressive (Q3586042) (← links)
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method (Q3613403) (← links)
- Equality and fixpoints in the calculus of structures (Q4635614) (← links)
- Expressing additives using multiplicatives and subexponentials (Q4637626) (← links)
- A Systematic Approach to Canonicity in the Classical Sequent Calculus (Q4649546) (← links)
- Compact Proof Certificates for Linear Logic (Q4916062) (← links)
- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment (Q4933306) (← links)
- (Q5015208) (← links)
- Abella: A System for Reasoning about Relational Specifications (Q5195258) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- A Proof-theoretic Characterization of Independence in Type Theory (Q5277849) (← links)
- Subformula Linking as an Interaction Method (Q5327358) (← links)
- Modular Focused Proof Systems for Intuitionistic Modal Logics (Q5369481) (← links)
- Computer Science Logic (Q5394578) (← links)
- Automated Deduction – CADE-20 (Q5394607) (← links)
- Focusing Strategies in the Sequent Calculus of Synthetic Connectives (Q5505575) (← links)
- A multi-focused proof system isomorphic to expansion proofs (Q5739975) (← links)
