scientific article
From MaRDI portal
Publication:2848472
zbMath1272.68379MaRDI QIDQ2848472
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050450
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
How diagrams can support syllogistic reasoning: an experimental study ⋮ Venn diagram with names of individuals and their absence: a non-classical diagram logic ⋮ Automated theorem proving in Euler diagram systems ⋮ A diagrammatic inference system with Euler circles ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary
This page was built for publication:
