scientific article; zbMATH DE number 3271461

MaRDI QIDQ5556396zbMATH OpenFDO

Authors G. E. Mints

Publication date 1968

zbMATH Keywords

general logic

Cited in

(6)

• A general method for proving decidability of intuitionistic modal logics
• Through an inference rule, darkly
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• The logicality of equality
• Sequents vs hypersequents for Åqvist systems

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