Dick de Jongh on intuitionistic and provability logics
From MaRDI portal
Publication:6536038
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Recommendations
This page was built for publication: Dick de Jongh on intuitionistic and provability logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536038)