scientific article; zbMATH DE number 7084947
From MaRDI portal
Publication:5224685
zbMath1418.03186MaRDI QIDQ5224685
Nick Bezhanishvili, Guram Bezhanishvili
Publication date: 24 July 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Tarski's theorem on intuitionistic logic, for polyhedra
This page was built for publication:
