A new constant in superintuitionistic logic L3

DOI10.1007/S10469-015-9319-8zbMath1328.03007OpenAlexW2067664492MaRDI QIDQ498291

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

zbMATH Keywords

new logical constantNovikov complete extensionssuperintuitionistic logic L3

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extendible formulas in two variables in intuitionistic logic
• New constants in two pretabular superintuitionistic logics
• Syntax and semantics of superintuitionistic logics
• A new regular constant in intuitionistic propositional logic
• New intuitionistic logical constants and Novikov completeness
• Pretabular superintuitionistic logic
• Kripke models and intermediate logics
• On decidable varieties of Heyting algebras

This page was built for publication: A new constant in superintuitionistic logic L3