New solutions to Novikov's problem for intuitionistic connectives

DOI10.1093/LOGCOM/8.5.637zbMath0914.03007OpenAlexW2022556060MaRDI QIDQ4221296

Aleksandr D. Yashin

Publication date: 21 June 1999

Published in: Unnamed Author (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/8.5.637

zbMATH Keywords

Novikov completenessirreflexive modalitynew intuitionistic connective

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

An algebraic approach to intuitionistic connectives ⋮ On some compatible operations on Heyting algebras

This page was built for publication: New solutions to Novikov's problem for intuitionistic connectives