scientific article

From MaRDI portal

Publication:3768867

Jump to:navigation, search

zbMath0632.03011MaRDI QIDQ3768867

Grigori Mints

Publication date: 1985

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

zbMATH Keywords

modal logic intuitionistic logic resolution inference rule

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3768867&oldid=17308829"