Proof search and certificates for evidential transactions

DOI10.1007/978-3-030-79876-5_14OpenAlexW3183041924MaRDI QIDQ2055859

Giselle Reis, Vivek Nigam, Samar Rahmouni, Harald Ruess

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-79876-5_14

zbMATH Keywords

sequent calculusproof searchattestation logics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining distributed logic programs incrementally
• Focusing and polarization in linear, intuitionistic, and classical logics
• Propositional lax logic
• A semantic framework for proof evidence
• A framework for linear authorization logics
• A judgmental reconstruction of modal logic
• A General Proof System for Modalities in Concurrent Constraint Programming
• Logic of infons
• A Logical Characterization of Forward and Backward Chaining in the Inverse Method
• Logic Programming with Focusing Proofs in Linear Logic
• Foundational Proof Certificates in First-Order Logic
• A general proof certification framework for modal logic
• An extended framework for specifying and reasoning about proof systems
• A Linear Logic of Authorization and Knowledge
• Proving structural properties of sequent systems in rewriting logic