A new constant in superintuitionistic logic L3
From MaRDI portal
(Redirected from Publication:498291)
Recommendations
- New constants in the superintuitionistic logic L2
- New constants in two pretabular superintuitionistic logics
- New constants in pretabular superintuitionistic logics: P. Novikov's approach
- scientific article; zbMATH DE number 1567881
- A new regular constant in intuitionistic propositional logic
- A result on the completeness of superintuitionistic logics
- scientific article; zbMATH DE number 3639589
- scientific article; zbMATH DE number 4027437
- scientific article; zbMATH DE number 4045717
- scientific article; zbMATH DE number 1086684
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3968648 (Why is no real title available?)
- scientific article; zbMATH DE number 3554258 (Why is no real title available?)
- scientific article; zbMATH DE number 3554259 (Why is no real title available?)
- scientific article; zbMATH DE number 2047486 (Why is no real title available?)
- scientific article; zbMATH DE number 1567881 (Why is no real title available?)
- scientific article; zbMATH DE number 1852920 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- scientific article; zbMATH DE number 3316016 (Why is no real title available?)
- scientific article; zbMATH DE number 3191266 (Why is no real title available?)
- scientific article; zbMATH DE number 3197101 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A new regular constant in intuitionistic propositional logic
- Extendible formulas in two variables in intuitionistic logic
- Kripke models and intermediate logics
- New constants in two pretabular superintuitionistic logics
- New intuitionistic logical constants and Novikov completeness
- On decidable varieties of Heyting algebras
- Pretabular superintuitionistic logic
- Syntax and semantics of superintuitionistic logics
This page was built for publication: A new constant in superintuitionistic logic L3
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q498291)