scientific article; zbMATH DE number 6863649

MaRDI QIDQ4636039zbMATH OpenFDO

Authors Birgit Elbl

Publication date 23 April 2018

zbMATH Keywords

cut-free sequent calculusdirect completeness prooflabelled deductionlogic of subset spacesproof theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
• A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
• A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
• Cut-free sequent calculi for logics characterized by finite linear Kripke frames
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• From the subformula property to cut-admissibility in propositional sequent calculi
• Cut-free sequent calculi for products and relativised products of modal logics
• scientific article; zbMATH DE number 1138593
• Cut-free and analytic sequent calculus of intuitionistic epistemic logic
• Modular construction of cut-free sequent calculi for paraconsistent logics

Cited in

(5)

• Logics for multi-subset spaces
• From the subformula property to cut-admissibility in propositional sequent calculi
• A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• A multi-labelled sequent calculus for topo-logic

This page was built for publication:

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