A semantical view of proof systems

DOI10.1007/978-3-662-57669-4_3MaRDI QIDQ1799270zbMATH OpenOpenAlexFDO

Authors Elaine Pimentel

Publication date 18 October 2018

Full work available at URL https://doi.org/10.1007/978-3-662-57669-4_3

Mathematics Subject Classification ID

Structure of proofs (03F07)

Recommendations

• Sequentialising nested systems
• On deriving nested calculi for intuitionistic logics from semantic systems
• On the correspondence between nested calculi and semantic systems for intuitionistic logics
• Proof analysis in non-classical logics
• Proof search in nested sequent calculi

Cited in

(12)

• A fresh view of linear logic as a logical framework
• Proof Theory, Semantics and Algebra for Normative Systems
• A linear logic framework for multimodal logics
• Semantic generalizations for proving and disproving conjectures by analogy
• Nested sequents for intuitionistic modal logics via structural refinement
• An ecumenical notion of entailment
• Labelled tree sequents, tree hypersequents and nested (deep) sequents
• On deriving nested calculi for intuitionistic logics from semantic systems
• A semantic backward chaining proof system
• On the correspondence between nested calculi and semantic systems for intuitionistic logics
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis
• RETRPROV. A system that looks for axioms

This page was built for publication: A semantical view of proof systems

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