97 results on '"Chaudhuri, Kaustuv"'
Search Results
2. Formal Reasoning Using Distributed Assertions
3. Subformula Linking for Intuitionistic Logic with Application to Type Theory
4. A Hybrid Linear Logic for Constrained Transition Systems
5. Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
6. Undecidability of Multiplicative Subexponential Logic
7. A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology
8. Subformula Linking for Intuitionistic Logic with Application to Type Theory
9. Reasoning About Higher-Order Relational Specifications
10. Verifying Safety Properties With the TLA+ Proof System
11. Classical and Intuitionistic Subexponential Logics are Equally Expressive
12. A TLA+ Proof System
13. Focused and Synthetic Nested Sequents
14. An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
15. Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations
16. Subformula Linking as an Interaction Method
17. Compact Proof Certificates for Linear Logic
18. Magically Constraining the Inverse Method Using Dynamic Polarity Assignment
19. Canonical Sequent Proofs via Multi-Focusing
20. Focusing Strategies in the Sequent Calculus of Synthetic Connectives
21. A Logical Characterization of Forward and Backward Chaining in the Inverse Method
22. Focusing the Inverse Method for Linear Logic
23. A Focusing Inverse Method Theorem Prover for First-Order Linear Logic
24. Distributing and trusting proof checking: a preliminary report
25. An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
26. A Logical Characterization of Forward and Backward Chaining in the Inverse Method
27. Subformula Linking as an Interaction Method
28. Compact Proof Certificates for Linear Logic
29. The TLA + Proof System: Building a Heterogeneous Verification Platform
30. Magically Constraining the Inverse Method Using Dynamic Polarity Assignment
31. Verifying Safety Properties with the TLA + Proof System
32. Classical and Intuitionistic Subexponential Logics Are Equally Expressive
33. Focusing Strategies in the Sequent Calculus of Synthetic Connectives
34. Formalized meta-theory of sequent calculi for linear logics
35. A Logical Characterization of Forward and Backward Chaining in the Inverse Method
36. Focusing the Inverse Method for Linear Logic
37. A Focusing Inverse Method Theorem Prover for First-Order Linear Logic
38. Computation-as-deduction in Abella: work in progress
39. Hybrid linear logic, revisited
40. A proof-theoretic approach to certifying skolemization
41. Preface – Special Issue on Logical Frameworks and Meta-Languages 2015
42. A two-level logic perspective on (simultaneous) substitutions
43. Modular Focused Proof Systems for Intuitionistic Modal Logics
44. Focused and Synthetic Nested Sequents (Extended Technical Report)
45. Reasoning about Computational Systems using Abella
46. Formalized Meta-Theory of Sequent Calculi for Substructural Logics
47. Expressing additives using multiplicatives and subexponentials
48. A Proof-theoretic Characterization of Independence in Type Theory
49. A Two-Level Logic Approach to Reasoning about Typed Specification Languages
50. A Hybrid Linear Logic for Constrained Transition Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.