Proof search and certificates for evidential transactions

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

Giselle Reis, Vivek Nigam, Samar Rahmouni, Harald Rueß

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

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

Cited In (2)

• Certifying Findel derivatives for blockchain
• Title not available (Why is that?)

This page was built for publication: Proof search and certificates for evidential transactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2055859)