scientific article; zbMATH DE number 2086747

zbMath1049.68130MaRDI QIDQ4737295

John Taylor, Sun-Joo Shin, John Howse, Fernando Molina

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2317/23170146.htm

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03B99)

Related Items (5)

How diagrams can support syllogistic reasoning: an experimental study ⋮ The semiotics of spider diagrams ⋮ The notion of diagrammatic isomorphism in Venn-Peirce diagrams ⋮ Strategy analysis of non-consequence inference with Euler diagrams ⋮ Automated theorem proving in Euler diagram systems

This page was built for publication: