A new regular constant in intuitionistic propositional logic

DOI10.1007/BF02106749MaRDI QIDQ1357985zbMATH OpenOpenAlexFDO

Authors Aleksandr D. Yashin

Publication date 18 June 1997

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02106749

zbMATH Keywords

intuitionistic logicKripke modelsadditional constant

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• New intuitionistic logical constants and Novikov completeness
• On the number of new logical constants in intuitionistic propositional calculus
• scientific article; zbMATH DE number 1567881
• Nonstandard connectives of intuitionistic propositional logic

Cites work

• scientific article; zbMATH DE number 3378883 (Why is no real title available?)
• A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic
• The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective

Cited in

(4)

• scientific article; zbMATH DE number 1159511 (Why is no real title available?)
• New constants in two pretabular superintuitionistic logics
• A new constant in superintuitionistic logic L3
• On the number of new logical constants in intuitionistic propositional calculus

This page was built for publication: A new regular constant in intuitionistic propositional logic

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