An extended framework for specifying and reasoning about proof systems

DOI10.1093/LOGCOM/EXU029zbMath1403.03125OpenAlexW2324363623WikidataQ57850703 ScholiaQ57850703MaRDI QIDQ5739974

Elaine Pimentel, Vivek Nigam, Giselle Reis

Publication date: 7 July 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/21b2fb12d9bdb4f6697928a3a519b04ddd5ba84c

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (16)

A linear logic framework for multimodal logics ⋮ Sequoia: A Playground for Logicians ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ Compositional meaning in logic ⋮ Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic ⋮ A framework for linear authorization logics ⋮ A fresh view of linear logic as a logical framework ⋮ Expressing additives using multiplicatives and subexponentials ⋮ Proof search and certificates for evidential transactions ⋮ A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 ⋮ Hybrid linear logic, revisited ⋮ Subexponentials in non-commutative linear logic ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems ⋮ Soft subexponentials and multiplexing ⋮ Non-associative, non-commutative multi-modal linear logic ⋮ A focused linear logical framework and its application to metatheory of object logics

This page was built for publication: An extended framework for specifying and reasoning about proof systems