scientific article; zbMATH DE number 3935005
From MaRDI portal
Publication:3708775
Recommendations
Cited in
(21)- Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
- The classification of propositional calculi
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- Explicit provability and constructive semantics
- Properties of Intuitionistic Provability and Preservativity Logics
- ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
- scientific article; zbMATH DE number 4168676 (Why is no real title available?)
- scientific article; zbMATH DE number 3976993 (Why is no real title available?)
- scientific article; zbMATH DE number 4006236 (Why is no real title available?)
- scientific article; zbMATH DE number 4006264 (Why is no real title available?)
- scientific article; zbMATH DE number 4059357 (Why is no real title available?)
- Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
- Dummett logic, irreflexive modality and Novikov completeness
- AXIOMATIZATION OF PROVABLE n-PROVABILITY
- Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic
- Metalogic of intuitionistic propositional calculus
- Intuitionistic propositional calculus in the extended framework with modal operator. II
- Propositional proof skeletons
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
- Provability in predicate product logic
- Interpolation property for extensions of intuitionistic provability logic
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 Q3708775)
