New constants in two pretabular superintuitionistic logics

DOI10.1007/S10469-011-9131-ZMaRDI QIDQ695769zbMATH OpenOpenAlexFDO

Authors 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

linear framesuniversal 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)

Recommendations

• New constants in the superintuitionistic logic L2
• Axiomatics of P. S. Novikov complete extensions of the superintuitionistic logic \(L2\) in the language containing an additional constant
• New constants in pretabular superintuitionistic logics: P. Novikov's approach
• scientific article; zbMATH DE number 1567881
• New intuitionistic logical constants and Novikov completeness

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 2047486 (Why is no real title available?)
• scientific article; zbMATH DE number 2154087 (Why is no real title available?)
• scientific article; zbMATH DE number 1567881 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• A new regular constant in intuitionistic propositional logic
• A propositional calculus with denumerable matrix
• Admissibility of logical inference rules
• Extendible formulas in two variables in intuitionistic logic
• New intuitionistic logical constants and Novikov completeness
• On decidable varieties of Heyting algebras
• Pretabular superintuitionistic logic

Cited in

(12)

• New intuitionistic logical constants and Novikov completeness
• New constants in pretabular superintuitionistic logics: P. Novikov's approach
• Number of prelocally table superintuitionistic propositional logics
• New constants in the superintuitionistic logic L2
• Irreflexive modality, the Dummett logic, and continual chains
• Dummett logic, irreflexive modality and Novikov completeness
• Irreflexive modality as a new logical connective in the Dummett logic
• scientific article; zbMATH DE number 2047486 (Why is no real title available?)
• scientific article; zbMATH DE number 1567881 (Why is no real title available?)
• A new constant in superintuitionistic logic L3
• On the number of new logical constants in intuitionistic propositional calculus
• Axiomatics of P. S. Novikov complete extensions of the superintuitionistic logic \(L2\) in the language containing an additional constant

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q695769)