Publication:3768867

zbMath0632.03011MaRDI QIDQ3768867

Grigori Mints

Publication date: 1985

zbMATH Keywords

modal logic; intuitionistic logic; resolution inference rule

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B35: Mechanization of proofs and logical operations

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

Three faces of natural deduction, Resolution calculus for the first order linear logic