Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
From MaRDI portal
Publication:723644
DOI10.1007/s10472-018-9585-yzbMath1448.68404OpenAlexW2800845814MaRDI QIDQ723644
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
knowledge representationtetrahedronlogical geometrycentral symmetryrhombic dodecahedroncongruence principleopposition and implication
Three-dimensional polytopes (52B10) Modal logic (including the logic of norms) (03B45) Polyhedra and polytopes; regular figures, division of spaces (51M20) Knowledge representation (68T30) Classical propositional logic (03B05)
Related Items (7)
Schopenhauer's partition diagrams and logical geometry ⋮ A database of Aristotelian diagrams: empirical foundations for logical geometry ⋮ From Euler diagrams to Aristotelian diagrams ⋮ From Euler Diagrams in Schopenhauer to Aristotelian Diagrams in Logical Geometry ⋮ Boolean considerations on John Buridan's octagons of opposition ⋮ A cube of opposition for predicate logic ⋮ Between Square and Hexagon in Oresme's Livre du Ciel et du Monde
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Structures of opposition induced by relations. The Boolean and the gradual cases
- Metalogical decorations of logical diagrams
- Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic
- Diagrammatic representation and inference. 7th international conference, Diagrams 2012, Canterbury, UK, July 2--6, 2012. Proceedings
- Tri-partition neighborhood covering reduction for robust classification
- Digital distance functions on three-dimensional grids
- Fuzzy quantifiers. A computational theory
- ``Setting \(n\)-opposition
- Weighted distances based on neighborhood sequences for point-lattices
- On the logic of few, many, and most
- Combinatorial bitstring semantics for arbitrary logical fragments
- First-order modal logic
- On the 3D visualisation of logical relations
- From Blanché's hexagonal organization of concepts to formal concept analysis and possibility theory
- From analogical proportion to logical proportions
- Logical geometries and information in the square of oppositions
- Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation
- Analysis of generalized square of opposition with intermediate quantifiers
- Graded cubes of opposition and possibility theory with fuzzy events
- Probabilistic squares and hexagons of opposition under coherence
- Visualizations of the square of opposition
- Logical extensions of Aristotle's square
- Speedith: a reasoner for spider diagrams
- Transitivity in coherence-based probability logic
- Structures of Opposition in Fuzzy Rough Sets
- Duality in Rough Set Theory Based on the Square of Opposition
- Was Lewis Carroll an Amazing Oppositional Geometer?
- Introduction to Boolean Algebras
- 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
- John Buridan’s Theory of Consequence and His Octagons of Opposition
- How to Square Knowledge and Belief
- Structures of Oppositions in Public Announcement Logic
- Graded Generalized Hexagon in Fuzzy Natural Logic
- On Different Ways to be (dis)similar to Elements in a Set. Boolean Analysis and Graded Extension
- Analogical Proportions and Square of Oppositions
- Formal Concept Analysis from the Standpoint of Possibility Theory
- Béziau’s Contributions to the Logical Geometry of Modalities and Quantifiers
- NON-TRADITIONAL GRIDS EMBEDDED IN ℤn
- 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
- Introduction to Coding Theory
- Encyclopedia of Distances
- Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
This page was built for publication: Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
