scientific article; zbMATH DE number 1907113

zbMath1014.03015MaRDI QIDQ4805536

Zoran Marković

Publication date: 7 May 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic logicsatisfiability relation

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

This page was built for publication: