On the completeness of a new intuitionistic connective

DOI10.1007/BF02320369MaRDI QIDQ1387337zbMATH OpenOpenAlexFDO

Authors Aleksandr D. Yashin

Publication date 4 June 1998

Published in Mathematical Notes (Search for Journal in Brave)

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

zbMATH Keywords

intuitionistic connectiveintuitionistic propositional calculusdisjunctive propertyBessonov logic

Mathematics Subject Classification ID

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

Recommendations

• New solutions to Novikov's problem for intuitionistic connectives
• scientific article; zbMATH DE number 975276
• On an extension of Gabbay's logic

Cites work

• A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic
• On some new intuitionistic propositional connectives. I

Cited in

(2)

• scientific article; zbMATH DE number 840413 (Why is no real title available?)
• The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective

This page was built for publication: On the completeness of a new intuitionistic connective

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