scientific article; zbMATH DE number 966896

zbMath0858.03011MaRDI QIDQ5690148

Tomasz Skura

Publication date: 19 March 1997

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

zbMATH Keywords

provability logicrefutation rulesconstructive completeness proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract deductive systems (03B22)

Related Items (1)

Complementary proof nets for classical logic

This page was built for publication: