Geometric and cognitive differences between logical diagrams for the Boolean algebra B₄
From MaRDI portal
Publication:723644
DOI10.1007/S10472-018-9585-YzbMATH Open1448.68404OpenAlexW2800845814MaRDI QIDQ723644FDOQ723644
Authors: Lorenz Demey, Hans Smessaert 
Publication date: 24 July 2018
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-018-9585-y
Recommendations
- Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation
- Combining and relating Aristotelian diagrams
- The interaction between logic and geometry in Aristotelian diagrams
- Computing the maximal Boolean complexity of families of Aristotelian diagrams
- Free Rides in Logical Space Diagrams Versus Aristotelian Diagrams
tetrahedronknowledge representationlogical geometrycentral symmetryrhombic dodecahedroncongruence principleopposition and implication
Knowledge representation (68T30) Three-dimensional polytopes (52B10) Classical propositional logic (03B05) Modal logic (including the logic of norms) (03B45) Polyhedra and polytopes; regular figures, division of spaces (51M20)
Cites Work
- Speedith: a reasoner for spider diagrams
- Title not available (Why is that?)
- Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
- Introduction to Boolean Algebras
- Introduction to Coding Theory
- Encyclopedia of Distances
- Fuzzy quantifiers. A computational theory
- ``Setting \(n\)-opposition
- From Blanché's hexagonal organization of concepts to formal concept analysis and possibility theory
- Logical geometries and information in the square of oppositions
- Analysis of generalized square of opposition with intermediate quantifiers
- Structures of opposition induced by relations. The Boolean and the gradual cases
- Analogical proportions and square of oppositions
- A formal concept view of abstract argumentation
- The structure of oppositions in rough set theory and formal concept analysis -- toward a new bridge between the two settings
- First-order modal logic
- On the logic of few, many, and most
- On the 3D visualisation of logical relations
- Visualizations of the square of opposition
- Logical extensions of Aristotle's square
- Metalogical decorations of logical diagrams
- Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic
- John Buridan's theory of consequence and his octagons of opposition
- How to square knowledge and belief
- Structures of oppositions in public announcement logic
- Béziau's contributions to the logical geometry of modalities and quantifiers
- Diagrammatic representation and inference. 7th international conference, Diagrams 2012, Canterbury, UK, July 2--6, 2012. Proceedings
- Digital distance functions on three-dimensional grids
- Structures of opposition in fuzzy rough sets
- Non-traditional grids embedded in \(\mathbb Z^{n}\)
- From analogical proportion to logical proportions
- On Different Ways to be (dis)similar to Elements in a Set. Boolean Analysis and Graded Extension
- Tri-partition neighborhood covering reduction for robust classification
- Weighted distances based on neighborhood sequences for point-lattices
- Combinatorial bitstring semantics for arbitrary logical fragments
- Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation
- Graded cubes of opposition and possibility theory with fuzzy events
- Probabilistic squares and hexagons of opposition under coherence
- Transitivity in coherence-based probability logic
- Duality in rough set theory based on the square of opposition
- Was Lewis Carroll an amazing oppositional geometer?
- Description of the f.c.c. lattice geometry through a four-dimensional hypercube
- Foundations for a logic of arguments
- On the meaning and the measuring of `probable'
- Organizing families of aggregation operators into a cube of opposition
- Back to Aristotle!
- Graded generalized hexagon in fuzzy natural logic
- Formal concept analysis from the standpoint of possibility theory
Cited In (17)
- On the 3D visualisation of logical relations
- Boolean considerations on John Buridan's octagons of opposition
- From Euler diagrams to Aristotelian diagrams
- Between Square and Hexagon in Oresme's Livre du Ciel et du Monde
- Logical diagrams, visualization criteria, and Boolean algebras
- From Euler diagrams in Schopenhauer to Aristotelian diagrams in logical geometry
- A cube of opposition for predicate logic
- Morphisms between Aristotelian diagrams
- Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
- Combining and relating Aristotelian diagrams
- Schopenhauer's partition diagrams and logical geometry
- Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation
- Free Rides in Logical Space Diagrams Versus Aristotelian Diagrams
- A database of Aristotelian diagrams: empirical foundations for logical geometry
- Relational understanding and paths of reasoning through a Boolean lattice classification of quadrilaterals
- Aspect shifting in Aristotelian diagrams
- Computing the maximal Boolean complexity of families of Aristotelian diagrams
Uses Software
This page was built for publication: Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q723644)
