scientific article

zbMATH Open0649.03008MaRDI QIDQ3794149

I. G. Simonova

Publication date: 1987

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

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

zbMATH Keywords

separation propertymodal operatorprovability intuitionistic calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

A self-contained provability calculus for \(\varGamma_0\)

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