Aristotelian Fragments and Subdiagrams for the Boolean Algebra <inline-formula><math display="inline"><semantics><mi mathvariant="double-struck">B</mi></semantics></math></inline-formula><sub>5</sub>
On a descriptive level, this paper presents a number of logical fragments which require the Boolean algebra <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi mathvariant="double-struck">B...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2023-06-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2075-1680/12/6/604 |