scientific article; zbMATH DE number 975276

MaRDI QIDQ5283966zbMATH OpenFDO

Authors Aleksandr D. Yashin

Publication date 4 February 1997

zbMATH Keywords

new intuitionistic connectiveprecedent negationReplacement Axiomuniversal necessity

Mathematics Subject Classification ID

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

Recommendations

• New solutions to Novikov's problem for intuitionistic connectives
• On an extension of Gabbay's logic
• On the completeness of a new intuitionistic connective

Cited in

(12)

• Nonstandard connectives of intuitionistic propositional logic
• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
• On the completeness of a new intuitionistic connective
• The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective
• On an extension of Gabbay's logic
• A look at the problem of new connectives
• On univocal connectives
• New solutions to Novikov's problem for intuitionistic connectives
• scientific article; zbMATH DE number 3997784 (Why is no real title available?)
• scientific article; zbMATH DE number 4118334 (Why is no real title available?)
• New constants in pretabular superintuitionistic logics: P. Novikov's approach
• The pleasures of anticipation: Enriching intuitionistic logic

This page was built for publication:

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