A new constant in superintuitionistic logic L3
From MaRDI portal
Publication:498291
DOI10.1007/S10469-015-9319-8zbMATH Open1328.03007OpenAlexW2067664492MaRDI QIDQ498291FDOQ498291
Authors: A. K. Koshcheeva 
Publication date: 28 September 2015
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-015-9319-8
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Syntax and semantics of superintuitionistic logics
- Title not available (Why is that?)
- On decidable varieties of Heyting algebras
- Extendible formulas in two variables in intuitionistic logic
- Pretabular superintuitionistic logic
- New constants in two pretabular superintuitionistic logics
- A new regular constant in intuitionistic propositional logic
- New intuitionistic logical constants and Novikov completeness
- Kripke models and intermediate logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (1)
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)
