scientific article

zbMath1272.68381MaRDI QIDQ2848474

Nik Swoboda, Gerard Allwein

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050462

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Classical first-order logic (03B10)

Related Items (5)

Speedith: a reasoner for spider diagrams ⋮ Singular propositions, negation and the square of opposition ⋮ Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

This page was built for publication: