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>

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...

Full description

Bibliographic Details
Main Authors:	Koen Roelandt, Hans Smessaert
Format:	Article
Language:	English
Published:	MDPI AG 2023-06-01
Series:	Axioms
Subjects:	logical geometry bitstring semantics Boolean algebras B4/B5 proportional quantification normative quantification deontic modality
Online Access:	https://www.mdpi.com/2075-1680/12/6/604

Similar Items

On the Extreme Value <inline-formula><math display="inline"><semantics><mi mathvariant="double-struck">H</mi></semantics></math></inline-formula>-Function
by: Pushpa Narayan Rathie, et al.
Published: (2023-08-01)

A Classification of Elements of Function Space <i>F</i>(<inline-formula><math display="inline"><semantics><mrow><mi mathvariant="double-struck">R</mi></mrow></semantics></math></inline-formula>,<inline-formula><math display="inline"><semantics><mrow><mi mathvariant="double-struck">R</mi></mrow></semantics></math></inline-formula>)
by: Mohsen Soltanifar
Published: (2023-08-01)

Fixed Point Results via <inline-formula><math display="inline"><semantics><mi mathvariant="script">G</mi></semantics></math></inline-formula>-Transitive Binary Relation and Fuzzy <inline-formula><math display="inline"><semantics><mi mathvariant="script">L</mi></semantics></math></inline-formula>-<inline-formula><math display="inline"><semantics><mi mathvariant="script">R</mi></semantics></math></inline-formula>-Contraction
by: Abdelhamid Moussaoui, et al.
Published: (2023-04-01)

Algebraic Structure Graphs over the Commutative Ring <inline-formula><math display="inline"><semantics><msub><mi mathvariant="double-struck">Z</mi><mi>m</mi></msub></semantics></math></inline-formula>: Exploring Topological Indices and Entropies Using <inline-formula><math display="inline"><semantics><mi mathvariant="double-struck">M</mi></semantics></math></inline-formula>-Polynomials
by: Amal S. Alali, et al.
Published: (2023-09-01)

Neutrino Flavor Model Building and the Origins of Flavor and <inline-formula><math display="inline"><semantics><mi mathvariant="script">C</mi></semantics></math></inline-formula><inline-formula><math display="inline"><semantics><mi mathvariant="script">P</mi></semantics></math></inline-formula> Violation
by: Yahya Almumin, et al.
Published: (2023-12-01)

Lower Porosity on <inline-formula><math display="inline"><semantics><msup><mi mathvariant="double-struck">R</mi><mn>2</mn></msup></semantics></math></inline-formula>
by: Stanislaw Kowalczyk, et al.
Published: (2021-08-01)

A collection of seminorms linking the <inline-formula><math display="inline"><semantics><mi mathvariant="bold-script">A</mi></semantics></math></inline-formula>-numerical radius and the operator <inline-formula><math display="inline"><semantics><mi mathvariant="bold-script">A</mi></semantics></math></inline-formula>-seminorm
by: Salma Aljawi, et al.
Published: (2024-04-01)

Conversion of Unweighted Graphs to Weighted Graphs Satisfying Properties <inline-formula><math display="inline"><semantics><mi mathvariant="monospace">R</mi></semantics></math></inline-formula> and <inline-formula><math display="inline"><semantics><mrow><mo>−</mo><mi mathvariant="monospace">SR</mi></mrow></semantics></math></inline-formula>
by: Xiaolong Shi, et al.
Published: (2023-11-01)

Seven Small Simple Groups Not Previously Known to Be Galois Over <inline-formula><math display="inline"><semantics><mi mathvariant="double-struck">Q</mi></semantics></math></inline-formula>
by: Luis Dieulefait, et al.
Published: (2022-06-01)

On Some Examples of Trajectories in <inline-formula><math display="inline"><semantics><mrow><mi mathvariant="double-struck">R</mi></mrow></semantics></math></inline-formula><sup>7</sup>
by: Ana Irina Nistor
Published: (2022-09-01)

G-Fractional Diffusion on Bounded Domains in <inline-formula><math display="inline"><semantics><msup><mi mathvariant="double-struck">R</mi><mi>d</mi></msup></semantics></math></inline-formula>
by: Luca Angelani, et al.
Published: (2023-03-01)

Classification of Irreducible <inline-formula><math display="inline"><semantics><mrow><msub><mi mathvariant="double-struck">Z</mi><mo>+</mo></msub></mrow></semantics></math></inline-formula>-Modules of a <inline-formula><math display="inline"><semantics><mrow><msub><mi mathvariant="double-struck">Z</mi><mo>+</mo></msub></mrow></semantics></math></inline-formula>-Ring Using Matrix Equations
by: Zhichao Chen, et al.
Published: (2022-12-01)

On Modified Interpolative Almost <inline-formula><math display="inline"><semantics><mrow><mi mathvariant="script">E</mi><mo>−</mo></mrow></semantics></math></inline-formula>Type Contraction in Partial Modular <inline-formula><math display="inline"><semantics><mrow><mi>b</mi><mo>−</mo></mrow></semantics></math></inline-formula>Metric Spaces
by: Dilek Kesik, et al.
Published: (2023-07-01)

Classifying Topologies through <inline-formula><math display="inline"><semantics><mi mathvariant="fraktur">G</mi></semantics></math></inline-formula>-Bases
by: Juan Carlos Ferrando, et al.
Published: (2022-12-01)

Practical Criteria for <inline-formula><math display="inline"><semantics><mi mathvariant="script">H</mi></semantics></math></inline-formula>-Tensors and Their Application
by: Min Li, et al.
Published: (2022-01-01)

<inline-formula><math display="inline"><semantics><mi mathvariant="bold-script">F</mi></semantics></math></inline-formula>-Contractions Endowed with Mann’s Iterative Scheme in Convex <inline-formula><math display="inline"><semantics><msub><mi mathvariant="bold-script">G</mi><mi mathvariant="bold-italic">b</mi></msub></semantics></math></inline-formula>-Metric Spaces
by: Amna Naz, et al.
Published: (2023-09-01)

Temperature-Induced Plasmon Excitations for the <inline-formula><math display="inline"><semantics><mi mathvariant="italic">α</mi></semantics></math></inline-formula>–<inline-formula><math display="inline"><semantics><msub><mi mathvariant="script">T</mi><mn>3</mn></msub></semantics></math></inline-formula> Lattice in Perpendicular Magnetic Field
by: Antonios Balassis, et al.
Published: (2021-06-01)

New Black Hole Solutions in <inline-formula><math display="inline"><semantics><mrow><mi mathvariant="script">N</mi></mrow></semantics></math></inline-formula> = 2 and <inline-formula><math display="inline"><semantics><mrow><mi mathvariant="script">N</mi></mrow></semantics></math></inline-formula> = 8 Gauged Supergravity
by: Antonio Gallerati
Published: (2021-06-01)

Evolution Equations with Liouville Derivative on <inline-formula><math display="inline"><semantics><mrow><mi mathvariant="double-struck"> R</mi></mrow></semantics></math></inline-formula> without Initial Conditions
by: Vladimir E. Fedorov, et al.
Published: (2024-02-01)

On the Truncated Multidimensional Moment Problems in <inline-formula><math display="inline"><semantics><mrow><msup><mi mathvariant="double-struck">C</mi><mi>n</mi></msup></mrow></semantics></math></inline-formula>
by: Sergey Zagorodnyuk
Published: (2022-01-01)

Fixed-Point Theorems on Fuzzy Bipolar <inline-formula><math display="inline"><semantics><mi mathvariant="fraktur">b</mi></semantics></math></inline-formula>-Metric Spaces
by: Balaji Ramalingam, et al.
Published: (2023-09-01)

The Bipartite and Tripartite Entanglement in <inline-formula><math display="inline"><semantics><mi mathvariant="script">PT</mi></semantics></math></inline-formula>-Symmetric System
by: Vinh Le Duc, et al.
Published: (2021-01-01)

Existence of Fuzzy Fixed Points and Common Fuzzy Fixed Points for <inline-formula><math display="inline"><semantics><mi mathvariant="script">FG</mi></semantics></math></inline-formula>-Contractions with Applications
by: Dur-e-Shehwar Sagheer, et al.
Published: (2023-09-01)

On Some Weingarten Surfaces in the Special Linear Group SL(2,<inline-formula><math display="inline"><semantics><mrow><mi mathvariant="double-struck">R</mi></mrow></semantics></math></inline-formula>)
by: Marian Ioan Munteanu
Published: (2023-11-01)

Spatial Heterogeneity of <inline-formula><math display="inline"><semantics><mrow><mi mathvariant="bold-italic">b</mi></mrow></semantics></math></inline-formula> Values in Northeastern Tibetan Plateau and Its Interpretation
by: Nan Hu, et al.
Published: (2024-02-01)

Ricci Soliton of <inline-formula><math display="inline"><semantics><mi mathvariant="script">CR</mi></semantics></math></inline-formula>-Warped Product Manifolds and Their Classifications
by: Yanlin Li, et al.
Published: (2023-04-01)

On Bell’s Inequality in <inline-formula><math display="inline"><semantics><mi mathvariant="bold-script">PT</mi></semantics></math></inline-formula>-Symmetric Quantum Systems
by: Sarang S. Bhosale, et al.
Published: (2021-07-01)

Neutron Stars in the Context of <i>f</i>(<inline-formula><math display="inline"><semantics><mrow><mi mathvariant="double-struck">T</mi><mo>,</mo><mi mathvariant="script">T</mi></mrow></semantics></math></inline-formula>) Gravity
by: Clésio E. Mota, et al.
Published: (2023-05-01)

Spectrum of the Cozero-Divisor Graph Associated to Ring <inline-formula><math display="inline"><semantics><mrow><msub><mi mathvariant="double-struck">Z</mi><mi>n</mi></msub></mrow></semantics></math></inline-formula>
by: Mohd Rashid, et al.
Published: (2023-10-01)

Finite-Approximate Controllability of <inline-formula><math display="inline"><semantics><mi>ν</mi></semantics></math></inline-formula>-Caputo Fractional Systems
by: Muath Awadalla, et al.
Published: (2023-12-01)

A Novel Investigation of Non-Periodic Snap <i>BVP</i> in the <inline-formula><math display="inline"><semantics><mi mathvariant="double-struck">G</mi></semantics></math></inline-formula>-Caputo Sense
by: Xiaofeng Wang, et al.
Published: (2022-08-01)

The Global Property of Generic Conformally Flat Hypersurfaces in <inline-formula><math display="inline"><semantics><msup><mi mathvariant="double-struck">R</mi><mn>4</mn></msup></semantics></math></inline-formula>
by: Yayun Chen, et al.
Published: (2023-03-01)

Fixed Point Results in <inline-formula><math display="inline"><semantics><mi mathvariant="fraktur">F</mi></semantics></math></inline-formula>-Bipolar Metric Spaces with Applications
by: Badriah Alamri
Published: (2023-05-01)

Decoding of <inline-formula><math display="inline"><semantics><msub><mi mathvariant="double-struck">Z</mi><msup><mn>2</mn><mi>S</mi></msup></msub></semantics></math></inline-formula> Linear Generalized Kerdock Codes
by: Aleksandar Minja, et al.
Published: (2024-01-01)

DNA Code Design Based on the Cosets of Codes over <inline-formula><math display="inline"><semantics><msub><mi mathvariant="double-struck">Z</mi><mn>4</mn></msub></semantics></math></inline-formula>
by: Adel N. Alahmadi, et al.
Published: (2023-11-01)

Infinitely Many Small Energy Solutions to Schrödinger-Kirchhoff Type Problems Involving the Fractional <inline-formula><math display="inline"><semantics><mrow><mi>r</mi><mo>(</mo><mo>·</mo><mo>)</mo></mrow></semantics></math></inline-formula>-Laplacian in <inline-formula><math display="inline"><semantics><mrow><msup><mi mathvariant="double-struck">R</mi><mi>N</mi></msup></mrow></semantics></math></inline-formula>
by: Yun-Ho Kim
Published: (2023-02-01)

Markov Moment Problems on Special Closed Subsets of <inline-formula><math display="inline"><semantics><mrow><msup><mi mathvariant="double-struck">R</mi><mi mathvariant="bold-italic">n</mi></msup></mrow></semantics></math></inline-formula>
by: Octav Olteanu
Published: (2022-12-01)

Maximal Function Characterizations of Hardy Spaces on <inline-formula><math display="inline"><semantics><msup><mi mathvariant="double-struck">R</mi><mi mathvariant="bold-italic">n</mi></msup></semantics></math></inline-formula> with Pointwise Variable Anisotropy
by: Aiting Wang, et al.
Published: (2021-12-01)

Lie Bialgebra Structures on the Lie Algebra <inline-formula><math display="inline"><semantics><mi mathvariant="fraktur">L</mi></semantics></math></inline-formula> Related to the Virasoro Algebra
by: Xue Chen, et al.
Published: (2023-01-01)

Lax Extensions of Conical <inline-formula><math display="inline"><semantics><mrow><mi mathvariant="sans-serif">I</mi></mrow></semantics></math></inline-formula>-Semifilter Monads
by: Gao Zhang, et al.
Published: (2023-11-01)