Imagen de Portada

Containment and Completeness: Revising Inclusion as a Structural Operator in Logic, Mathematics, and Science

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	Johnson, Bruce
Formato:	Recurso digital
Lenguaje:	inglés
Publicado:	Zenodo 2025
Materias:	inclusion, completeness, containment, Gödel, meta-logic, symbolic systems, dimensionality, thermodynamics, recursion, curved logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Meta-Recursive Generativity: The Equation That Predicted Its Own Discovery
por: Schaeffer, Michael
Publicado: (2026)

Logics
Publicado: (2024)

Equilibrium Logic: A Computable Three-Valued System for Self-Referential Undecidability
por: Mikhail, Vasilyev
Publicado: (2025)

Is Szabolcsi's Logic a Fuzzy Logic?
por: J.-Martín Castro-Manzano
Publicado: (2025)

Detección y diagnóstico de fallas mediante técnicas de inteligencia artificial, un estado del arte
por: Luini Leonardo Hurtado-Cortés
Publicado: (2016)

Logic Element Explorer
por: khaled HAMIDI
Publicado: (2023)

Bulletin of the Section of Logic
Publicado: (2020)

The Nomas Civilization: Validated Simulation of a Symbolic Recursive Mesh under the Entropic Recursion Framework
por: Steven Lanier-Egu
Publicado: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
por: Arquint, Linard, et al.
Publicado: (2025)

Alpha Framework 2.0: Symbolic Simulation Infrastructure for Recursive Agents and Entropic Coherence
por: Steven Lanier-Egu
Publicado: (2025)

An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
por: Eduardo Zurek
Publicado: (2015)

The First Rule of Stoic Logic and its Relationship with the Indemonstrables
por: Miguel López-Astorga
Publicado: (2016)

Escritura, archi-escritura e historia A propósito de Derrida y Stiegler
por: Zenia Yébenes Escardó
Publicado: (2016)

Symbolic Gravity v3.5 (SG-11) — 11D Standalone: Veil-Curvature, Leak-Aware Collapse, and Brane-Coupled Routing
por: Steven Lanier-Egu
Publicado: (2025)

Inquisitive Logic
por: Ciardelli, Ivano
Publicado: (2023)

Spanda PranaSphere Engine: Symbolic Cognition Infrastructure for Emotional AI
por: Putman, Stephen A.
Publicado: (2025)

Operational Objecthood as Separable Sharing
por: Yeon, Jeong Min
Publicado: (2026)

El octágono medieval de Oposición para oraciones con predicados cuantificados
por: Juan Manuel Campos Benítez
Publicado: (2013)

Tableau Methods for Propositional Logic and Term Logic
por: Jarmużek, Tomasz
Publicado: (2024)

Symbolic Gravity: A Thermodynamic Information-Theoretic Model of Recursive Curvature
por: Steven Lanier-Egu
Publicado: (2025)

Invariant Density and Bounded Derivability in Finite Equational Presentations
por: Tonnel, David Gérard
Publicado: (2026)

WHY WAS ALCHOURRÓN AFRAID OF SNAKES?
por: JULIANO S. A. MARANHÃO
Publicado: (2006)

ON THE POSSIBILITY OF A GENERAL PURGE OF SELF-REFERENCE
por: Lucas Rosemblatt
Publicado: (2012)

RESPECTING RELEVANCE IN BELIEF CHANGE
por: DAVID MAKINSON
Publicado: (2006)

NORMS, NORMATIVE UTTERANCES, AND NORMATIVE PROPOSITIONS
por: RISTO HILPINEN
Publicado: (2006)

Generalized Abstract Argumentation: A First-order Machinery towards Ontology Debugging
por: Martín O. Moguillansky
Publicado: (2010)

X^∞ as a Recursive Infrastructure: Responsibility-Driven Replacement of Classical ITSM
por: The Auctor
Publicado: (2025)

The Convergence Map: What Physics and Mathematics Jointly Say About the Nature of Reality
por: Mala, Mark E.
Publicado: (2026)

HYBRID SEDIMENT TRANSPORT MODEL FOR THE “LINGUADO” CHANNEL, STATE OF SANTA CATARINA, BRAZIL
por: Edison Conde Perez dos Santos
Publicado: (2017)

DYNAMIC FUZZY LOGIC FUNCTOR
por: J. L. Pérez-Silva
Publicado: (2008)

EL CUADRADO DE OPOSICIÓN COMO INSTRUMENTO DE LA LÓGICA : SU USO Y APLICACIONES EN TOMÁS DE MERCADO
por: Juan Manuel Campos Benítez
Publicado: (2008)

Remarks on the Idea of Non-monotonic (Diagrammatic) Inference
por: J. Martín Castro-Manzano
Publicado: (2017)

ψ₄ Unified Recursive Model of Collapse and Identity
por: KOSHTI, BALAJI
Publicado: (2025)

Automated Reasoning with Analytic Tableaux and Related Methods
Publicado: (2023)

Dynamic Analysis of Emotions through Artificial Intelligence
por: Susana Mejía M.
Publicado: (2016)

A Survey of Intelligent Car Parking System
por: Faheem
Publicado: (2013)

Diffuse irrigation systems for the production of watermelon in the Sabanas subregion, Sucre - Colombia
por: Carlos Cohen-Manrique
Publicado: (2019)

Prospective Containment in Recursive Systems: A Structural Synthesis of Stability and Revocation
por: Singh, Shivraj
Publicado: (2026)

Text linguistics and critical discourse analysis: A multimodal analysis of a magazine advertisement
por: Sidnéa Nunes Ferreira
Publicado: (2013)

Theorem of Complex Binarity
por: STANKO, ANDREY
Publicado: (2026)