On the completeness of a new intuitionistic connective

DOI10.1007/BF02320369zbMATH Open0897.03011OpenAlexW2056095412MaRDI QIDQ1387337FDOQ1387337

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

Recommendations

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

zbMATH Keywords

intuitionistic connectiveintuitionistic propositional calculusdisjunctive propertyBessonov logic

Mathematics Subject Classification ID

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

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)

• Title not available (Why is that?)
• 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)