scientific article; zbMATH DE number 5827852
From MaRDI portal
Publication:3063990
Recommendations
- Properties of superintuitionistic propositional calculi
- Separability of normalizable superintuitionistic propositional logics
- The simple substitution property for superintuitionistic propositional logics and its relation to the separability property
- Metalogic of intuitionistic propositional calculus
- On applied theories with superintuitionistic logics
- Hereditarily structurally complete superintuitionistic deductive systems
- On the simple substitution property for superintuitionistic and modal propositional logics
- On the property of simple substitution for superintuitionistic propositional logics.
- scientific article; zbMATH DE number 850397
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
Cited in
(7)- Separability of normalizable superintuitionistic propositional logics
- Properties of superintuitionistic propositional calculi
- On logics having diagnostic formulas relative to minimal calculus
- A remark on Maksimova's variable separation property in super-bi-intuitionistic logics
- scientific article; zbMATH DE number 3236052 (Why is no real title available?)
- scientific article; zbMATH DE number 3316016 (Why is no real title available?)
- [Russian Text Ignored.]
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 Q3063990)
