scientific article; zbMATH DE number 2072494

MaRDI QIDQ4467728zbMATH OpenFDO

Authors P. I. Bystrov

Publication date 10 June 2004

zbMATH Keywords

analytic tableauximplication-negation fragmentmodal logicsequent calculussubstructural logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 823607
• scientific article; zbMATH DE number 2209446
• Normal modal substructural logics with strong negation
• scientific article; zbMATH DE number 4089526
• Sequent-systems for modal logic

Cited in

(1)

• Dugundji's theorem revisited

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 Q4467728)