scientific article

zbMath0957.03014MaRDI QIDQ3838817

Jan von Plato, Sara Negri

Publication date: 22 March 2001

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

zbMATH Keywords

intuitionistic propositional logicrefutation calculusconstructive algebraic methodcounter-model

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: