scientific article; zbMATH DE number 7576848
From MaRDI portal
Publication:5099999
Heinrich Wansing, Sergei P. Odintsov, Sergey Drobyshevich
Publication date: 26 August 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicalgebraic semanticscoimplicationbi-intuitionistic logicresiduationfirst-degree entailmentGödel-Dummett logic\textsf{HYPE}
Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication:
