Buchumschlag

Foundations with Imagination

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Meadows, Toby
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Internal Categoricity and the Generic Multiverse
von: Meadows, Toby
Veröffentlicht: (2025)

Found in Translation: at the limits of the Hudetz program
von: Meadows, Toby
Veröffentlicht: (2025)

Teasing apart definitional equivalence
von: Chen, Jason, et al.
Veröffentlicht: (2025)

On Small Types in Univalent Foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2021)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
von: Bembenek, Aaron, et al.
Veröffentlicht: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Equiconsistency of the Minimalist Foundation with its classical version
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2024)

A Logic of Sattestation
von: Jaggard, Aaron D., et al.
Veröffentlicht: (2024)

Foundations for conditional probability
von: Mečíř, Ladislav
Veröffentlicht: (2019)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Foundations of iterated star maps and their use in combinatorics
von: Di Nasso, Mauro, et al.
Veröffentlicht: (2024)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Theory of Interpretations I. Foundations
von: Daniyarova, Evelina, et al.
Veröffentlicht: (2025)

Derivatives for Containers in Univalent Foundations
von: Joram, Philipp, et al.
Veröffentlicht: (2025)

Six Birds: Foundations of Emergence Calculus
von: Tsiokos, Ioannis
Veröffentlicht: (2026)

A Categorical Foundation of Rough Sets
von: Kakutani, Yoshihiko
Veröffentlicht: (2025)

Univalent Foundations of Constructive Algebraic Geometry
von: Zeuner, Max
Veröffentlicht: (2024)

Definable Obstruction Theory
von: Meadows, Nicholas
Veröffentlicht: (2025)

Don't Forget Imagination!
von: Vityaev, Evgenii E., et al.
Veröffentlicht: (2025)

Foundations of probability-raising causality in Markov decision processes
von: Baier, Christel, et al.
Veröffentlicht: (2022)

Foundations of logic programming in hybrid-dynamic quantum logic
von: Gaina, Daniel
Veröffentlicht: (2024)

A Foundation for the Core Mathematician
von: Mumford, David, et al.
Veröffentlicht: (2026)

A Foundation for Differentiable Logics using Dependent Type Theory
von: Affeldt, Reynald, et al.
Veröffentlicht: (2026)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
von: Irani, Khashayar
Veröffentlicht: (2025)

Common Foundations for Recursive Shape Languages
von: Ahmetaj, Shqiponja, et al.
Veröffentlicht: (2026)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
von: Yoo, Harim
Veröffentlicht: (2025)

Learning Foundations Beneath the Stars
von: Cardone, Felice, et al.
Veröffentlicht: (2026)

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

Capability Safety as Datalog: A Foundational Equivalence
von: Spera, Cosimo
Veröffentlicht: (2026)

Hybrid Answer Set Programming: Foundations and Applications
von: Rühling, Nicolas
Veröffentlicht: (2025)

Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers
von: Key, Hojer
Veröffentlicht: (2025)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
von: Maluszynski, Jan, et al.
Veröffentlicht: (2010)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
von: Coquand, Thierry, et al.
Veröffentlicht: (2026)

Uniform interpolation with constructive diamond
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)