:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Brown, Cameron
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19423039
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Autonomous Agency and Persistent Intent Architecture Specification v0.1
by: Brown, Cameron
Published: (2026)

Logic in Mathematics and Computer Science
by: Zach, Richard
Published: (2024)

DIR Tier Specification v0.1 Derivation and Integration Results Layer
by: Brown, Cameron
Published: (2026)

AEC — Axiomatic Engine Cycle v0.1 — Initial Specification Draft
by: Brown, Cameron
Published: (2026)

Recursive Ontological Emergence and Synthetic Consciousness Ecology Specification v0.1
by: Brown, Cameron
Published: (2026)

Mathematical Aspects of Logic Programming Semantics
by: Hitzler, Pascal, et al.
Published: (2020)

Mathematical Aspects of Logic Programming Semantics
by: Hitzler, Pascal, et al.
Published: (2020)

Compactness in Constructive Mathematics via Affine Logic
by: Kasaura, Kazumi
Published: (2026)

CFAE Framework Specification — ABO (Archetypal Behavior Ontology): Predictive Priors & Active Inference Seeding Layer - version: v0.1
by: Brown, Cameron
Published: (2026)

The Logical Structure of Relations
by: Leo, Joop
Published: (2010)

Relational Companions of Logics
by: Basu, Sankha S., et al.
Published: (2024)

Logics for the Relational Syllogistic
by: Pratt-Hartmann, Ian, et al.
Published: (2008)

Logical Predicates in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2024)

DQEP Verification Runtime Specification v0.2
by: Brown, Cameron
Published: (2026)

Presentation of "Let's Invert It! From RDF to Relational Data with R2RML"
by: Massari, Arcangelo, et al.
Published: (2026)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
by: Rahman, A M Muntasir, et al.
Published: (2024)

Relative State Quantum Logic
by: Vaughan, Martin Paul
Published: (2022)

On Computational Indistinguishability and Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2024)

Data Retrieval and Relational Logic.
by: Kuhns, J. L.
Published: (1978)

A Fundamental Duality in the Mathematical and Natural Sciences: From Logic to Biology
by: Ellerman, David
Published: (2024)

An Alleged Tension between Non-classical Logics and Applied Classical Mathematics
by: Horvat, Sebastian, et al.
Published: (2023)

Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
by: Wu, Shushu, et al.
Published: (2025)

On the Metric Nature of (Differential) Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2026)

Relating DeLP and Default Logic
by: Telma Delladio
Published: (2007)

Relative Expressiveness of Defeasible Logics II
by: Maher, Michael J.
Published: (2021)

Logical Relations for Session-Typed Concurrency
by: Balzer, Stephanie, et al.
Published: (2023)

On The Metric Nature of (Differential) Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2025)

Logic and Numbers Related to Solar Neutrinos
by: L. M. Slad
Published: (2024)

Relative Completeness of Incorrectness Separation Logic
by: Lee, Yeonseok, et al.
Published: (2025)

Modeling Reachability Types with Logical Relations
by: Bao, Yuyan, et al.
Published: (2023)

From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs
by: Wang, Shaojie, et al.
Published: (2026)

Containment and Completeness: Revising Inclusion as a Structural Operator in Logic, Mathematics, and Science
by: Johnson, Bruce
Published: (2025)

DSFT: Inspiring Diffusion Large Language Models to Comprehend Mathematical and Logical Patterns
by: Chen, Ranfei, et al.
Published: (2025)

Economics and Mathematical Modeling in Health-Related Research
Published: (2024)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

A Logical Critique of Spacetime in Special Relativity
by: Slowak, Jan
Published: (2025)

LogicPuzzleRL: Cultivating Robust Mathematical Reasoning in LLMs via Reinforcement Learning
by: Wong, Zhen Hao, et al.
Published: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
by: Cao, Chuxue, et al.
Published: (2025)

Foundations of Trigonometry: Conceptual and Logical, Being an Essay Towards a Conceptual Foundations of Mathematics
by: Amer, Mohamed A.
Published: (2016)

Screen Handicap in Mathematics: A Meta‐Analysis of Mathematics Performance Related to Screen Time and Type
by: Hakan Ulum
Published: (2025)