scientific article; zbMATH DE number 3328980

zbMath0207.00401MaRDI QIDQ5607207

Grigori Mints

Publication date: 1968

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

A criterion for admissibility of rules in the modal system S4 and intuitionistic logic ⋮ Admissible rules for pretable modal logics

This page was built for publication: