New constants in two pretabular superintuitionistic logics

DOI10.1007/S10469-011-9131-ZzbMATH Open1271.03043OpenAlexW2023989119MaRDI QIDQ695769FDOQ695769

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

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

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)

Cites Work

• Admissibility of logical inference rules
• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On decidable varieties of Heyting algebras
• Extendible formulas in two variables in intuitionistic logic
• Pretabular superintuitionistic logic
• A new regular constant in intuitionistic propositional logic
• New intuitionistic logical constants and Novikov completeness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• New constants in pretabular superintuitionistic logics: P. Novikov's approach
• New intuitionistic logical constants and Novikov completeness
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new constant in superintuitionistic logic L3
• Axiomatics of P. S. Novikov complete extensions of the superintuitionistic logic \(L2\) in the language containing an additional constant
• On the number of new logical constants in intuitionistic propositional calculus

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)