scientific article; zbMATH DE number 3966022

MaRDI QIDQ3734358zbMATH OpenFDO

Authors O. F. Serebryannikov

Publication date 1984

zbMATH Keywords

sequents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cited in

(8)

• Formalizing Moessner's theorem and generalizations in \textsc{Nuprl}
• scientific article; zbMATH DE number 4095430 (Why is no real title available?)
• scientific article; zbMATH DE number 1157127 (Why is no real title available?)
• scientific article; zbMATH DE number 1538010 (Why is no real title available?)
• General normal forms for any additive logic
• scientific article; zbMATH DE number 3323814 (Why is no real title available?)
• Conjunctive normal forms and weak modal logics without the axiom of necessity
• Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics

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