scientific article; zbMATH DE number 4045717

zbMATH Open0642.03016MaRDI QIDQ3783274FDOQ3783274

Authors: A. V. Kuznetsov, Alexei Y. Muravitsky 

Publication date: 1987

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

propositional logicsaxiomatization of provability

Mathematics Subject Classification ID

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

Cited In (7)

• Superintuitionistic companions of classical modal logics
• On superintuitionistic logics as fragments of proof logic extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new constant in superintuitionistic logic L3
• Title not available (Why is that?)

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)