scientific article

From MaRDI portal

Publication:3081620

Jump to:navigation, search

zbMath1269.03057MaRDI QIDQ3081620

Alasdair Urquhart

Publication date: 9 March 2011

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

zbMATH Keywords

sequent calculus resolution pigeonhole formulas complexity of propositional proofs proof systems for propositional logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity of proofs (03F20)

Related Items (1)

A Logical Autobiography

This page was built for publication:

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