Cover Image

A Categorical Integration of Logical Connectives via Higher Category Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Reizi, Barreto Joaquim
Format:	Preprint
Published:	2025
Subjects:	General Mathematics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Categorical Integration of Quantifiers:A Higher Category Theoretic Perspective
by: Reizi, Barreto Joaquim
Published: (2025)

The Universal Property of the Henkin Construction: A Categorical Perspective on the Completeness Theorem
by: Barreto, Joaquim Reizi
Published: (2025)

A 2-Categorical Bridge Between Henkin Constructions and Lawvere's Fixed-Point Theorem: Unifying Completeness and Compactness
by: Reizi, Barreto Joaquim
Published: (2025)

A Survey on Lawvere's Fixed-Point Theorem
by: Barreto, Joaquim Reizi
Published: (2025)

A Natural Homomorphism between the Model Constructions of the Completeness and Compactness Theorems
by: Reizi, Barreto Joaquim
Published: (2025)

Category Theory: Symmetry Group of Comma-propagation Transformations
by: Majkic, Zoran
Published: (2024)

Directed Q-Analysis and Directed Higher-Order Connectivity on Digraphs: A Quantitative Approach
by: Baldo, Heitor, et al.
Published: (2026)

Higher Algebraic Structures and General Field Theories
by: Baas, Nils A.
Published: (2021)

A Categorical Development of Right Derived Functors
by: Marks, Skyler
Published: (2024)

The Strict 2-Category Structure of Distorted Monoidal Categories
by: Higuchi, Joaquim Reizi
Published: (2025)

Categorial Geometry and Algebraic Topology
by: Majkic, Zoran
Published: (2024)

Internal Symmetry Group in Categorial Topology
by: Majkic, Zoran
Published: (2026)

Token Space: A Category Theory Framework for AI Computations
by: Pan, Wuming
Published: (2024)

A Polynomial Ring Connecting Central Binomial Coefficients and Gould's Sequence
by: Shunia, Joseph M.
Published: (2023)

Higher regularity of solutions of an iterative functional equation
by: Feng, Liang, et al.
Published: (2026)

The Lah Numbers with Higher Level and the Lah Numbers of Order s
by: Tankosič, Aleks Žigon
Published: (2025)

A Theory of Scales and Orbit Covers
by: Flieder, Drew
Published: (2026)

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
by: Higuchi, Joaquim Reizi
Published: (2026)

On the Triviality of Solutions of a Salem-Type Integral Equation and Its Connection with the Riemann Hypothesis
by: Davlatov, Shokir
Published: (2016)

Bounds on Atom-Bond Connectivity and Zagreb Indices in Trees with a Given Metric Dimension
by: Ali, Waqar, et al.
Published: (2024)

Extremal Values of the Atom-Bond Connectivity Index for Trees with Given Roman Domination Numbers
by: Ali, Waqar, et al.
Published: (2024)

Graph Fractional Fourier Transform: A Unified and Efficient Sampling Theory
by: Zhang, Yu, et al.
Published: (2026)

A General Discussion on Photon Spheres in Different Categories of Spacetimes
by: Qiao, Chen-Kai, et al.
Published: (2026)

A Geometric Approach to Structure-Preserving Integrators for Mechanical Systems
by: Vivek, Viyom, et al.
Published: (2026)

Something about Inter-universal Teichmuller Theory
by: Sarkisyan, Mikael
Published: (2023)

Linear Canonical Jacobi-Dunkl Transform: Theory and Applications
by: Linghua, Rong-Qian, et al.
Published: (2024)

MARL-CC: A Mathematical Framework forMulti-Agent Reinforcement Learning in ConnectedAutonomous Vehicles: Addressing Nonlinearity,Partial Observability, and Credit Assignment forOptimal Control
by: Taghavi, Mazyar, et al.
Published: (2025)

Algebraic Graph Theory (a short course for postgraduate students and researchers)
by: Brouwer, A. E., et al.
Published: (2008)

Bivariate Bernstein Fractal Interpolation and Numerical Integration on Triangular Domains
by: P., Aparna M., et al.
Published: (2024)

Categories of Games and their Fraïssé Theory
by: Duzi, Matheus, et al.
Published: (2025)

Hamiltonian Renormalisation: A Categorical Perspective
by: Zarate, M. Rodriguez
Published: (2025)

Extension Research of Principal Bundle Constraint System Theory on Ricci-flat Kähler Manifolds
by: Zheng, Dongzhe
Published: (2025)

A Compositional Characterization of the Z-relation via Closure and Additivity
by: Joksimović, Aleksa
Published: (2026)

Higher Order Fractal Differential Equations
by: Golmankhaneh, Alireza Khalili, et al.
Published: (2024)

Comparative Analysis of the Efficiency of Application of Legendre Polynomials and Trigonometric Functions to the Numerical Integration of Ito Stochastic Differential Equations
by: Kuznetsov, Dmitriy F.
Published: (2018)

A logical treatment of noise: Solving The Hardest Logic Puzzle Ever and its generalizations
by: Vallstrom, Daniel
Published: (2022)

The Collatz Conjecture & Non-Archimedean Spectral Theory -- Part II -- $\left(p,q\right)$-Adic Fourier Analysis and Wiener's Tauberian Theorem
by: Siegel, Maxwell C.
Published: (2022)

A novel STAP algorithm via volume cross-correlation function on the Grassmann manifold
by: Li, Jia-Mian, et al.
Published: (2024)

A Rigorous Proof of a Ramanujan Machine Identity for $-π/4$ via Exact Recurrence Solving
by: Wang, Chao
Published: (2026)

Polyhedral reconstruction via Boundary Control method
by: Kyriakopoulou, Dimitra
Published: (2025)