Set Venn diagrams applied to inclusions and non-inclusions
From MaRDI portal
Publication:2629220
DOI10.1007/s10849-015-9227-2zbMath1350.03016OpenAlexW1948146735MaRDI QIDQ2629220
Petrucio Viana, Renata P. de Freitas
Publication date: 5 July 2016
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-015-9227-2
completenessinclusionsdecidabilitysoundnessalgebra of setsVenn diagramsdiagrammatic systemsnon-inclusions
Abstract deductive systems (03B22) Other classical set theory (including functions, relations, and set algebra) (03E20) General logic (03B99)
Cites Work
- Unnamed Item
- Unnamed Item
- On graph reasoning
- A note on proofs with graphs
- Towards a model theory of diagrams
- A Decidable Constraint Diagram Reasoning System
- On a Graph Calculus for Algebras of Relations
- Positive Fork Graph Calculus
- The truth about Venn diagrams
- Generalized constraint diagrams and the classical decision problem
- Spider Diagrams
This page was built for publication: Set Venn diagrams applied to inclusions and non-inclusions