scientific article; zbMATH DE number 4045717

MaRDI QIDQ3783274zbMATHFDO

Authors A. V. Kuznetsov, Alexei Y. Muravitsky

Publication date 1987

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

zbMATH Keywords

propositional logicsaxiomatization of provability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• On superintuitionistic logics as fragments of proof logic extensions
• scientific article; zbMATH DE number 4059357
• Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic
• scientific article; zbMATH DE number 5241978
• scientific article; zbMATH DE number 4210107
• scientific article; zbMATH DE number 3849201
• Interpolation property for extensions of intuitionistic provability logic
• A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
• scientific article; zbMATH DE number 1751350

Cited in

(7)

• scientific article; zbMATH DE number 4168676 (Why is no real title available?)
• scientific article; zbMATH DE number 3963789 (Why is no real title available?)
• On superintuitionistic logics as fragments of proof logic extensions
• Superintuitionistic companions of classical modal logics
• A new constant in superintuitionistic logic L3
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• scientific article; zbMATH DE number 3849201 (Why is no real title available?)

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