Proof search and certificates for evidential transactions
type: Item
instance of: scholarly article
title: Proof search and certificates for evidential transactions
DOI: 10.1007/978-3-030-79876-5_14
author: Vivek Nigam
author: Giselle Reis
author: Samar Rahmouni
author: Harald Rueß
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437082
zbMATH Keywords: attestation logics
zbMATH Keywords: proof search
zbMATH Keywords: sequent calculus
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-030-79876-5 14
OpenAlex ID: W3183041924
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: A Logical Characterization of Forward and Backward Chaining in the Inverse Method
cites work: Foundational Proof Certificates in First-Order Logic
cites work: A semantic framework for proof evidence
cites work: Propositional lax logic
cites work: A Linear Logic of Authorization and Knowledge
cites work: Logic of infons
cites work: Focusing and polarization in linear, intuitionistic, and classical logics
cites work: A general proof certification framework for modal logic
cites work: Q3467531
cites work: A framework for linear authorization logics
cites work: Maintaining distributed logic programs incrementally
cites work: A General Proof System for Modalities in Concurrent Constraint Programming
cites work: An extended framework for specifying and reasoning about proof systems
cites work: Proving structural properties of sequent systems in rewriting logic
cites work: A judgmental reconstruction of modal logic
cites work: Q4716271
description: scientific article; zbMATH DE number 7437082