scientific article; zbMATH DE number 3316015

MaRDI QIDQ5595145zbMATH OpenFDO

Authors V. P. Orevkov

Publication date 1968

Full work available at URL https://eudml.org/doc/188123

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Glivenko sequent classes in the light of structural proof theory
• Glivenko classes of sequents for temporal logic with time gaps
• Glivenko sequent classes and constructive cut elimination in geometric logics
• scientific article; zbMATH DE number 874285
• Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic
• scientific article; zbMATH DE number 2051680
• scientific article; zbMATH DE number 1670483
• scientific article; zbMATH DE number 3274716
• scientific article; zbMATH DE number 589741
• Nested sequents for provability logic GLP: FIG. 1.

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