New constants in two pretabular superintuitionistic logics

DOI10.1007/S10469-011-9131-ZzbMath1271.03043OpenAlexW2023989119MaRDI QIDQ695769

Aleksandr D. Yashin

Publication date: 17 December 2012

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-011-9131-z

zbMATH Keywords

universal frameslinear framesDummett's logic \(L2\)method of outgrowthsNovikov-complete extensionspretabular superintuitionistic logicstwo-tiered rooted frames

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (3)

Irreflexive modality as a new logical connective in the Dummett logic ⋮ A new constant in superintuitionistic logic L3 ⋮ Irreflexive modality, the Dummett logic, and continual chains

Cites Work

• Extendible formulas in two variables in intuitionistic logic
• Admissibility of logical inference rules
• A new regular constant in intuitionistic propositional logic
• New intuitionistic logical constants and Novikov completeness
• Pretabular superintuitionistic logic
• A propositional calculus with denumerable matrix
• On decidable varieties of Heyting algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: New constants in two pretabular superintuitionistic logics