A new regular constant in intuitionistic propositional logic

DOI10.1007/BF02106749zbMath0876.03005OpenAlexW2062045360MaRDI QIDQ1357985

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

additional constantKripke modelsintuitionistic logic

Mathematics Subject Classification ID

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

Related Items (2)

A new constant in superintuitionistic logic L3 ⋮ New constants in two pretabular superintuitionistic logics

Cites Work

• Unnamed Item
• The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective
• A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic

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