Buchumschlag

Nobody needs equations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sant'Anna, Adonai Schlup
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

All you need is $\mathbf{A}_κ$
von: Bannister, Nathaniel
Veröffentlicht: (2025)

Discernment is all you need
von: Fuenmayor, David
Veröffentlicht: (2026)

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

Compression is all you need: Modeling Mathematics
von: Aksenov, Vitaly, et al.
Veröffentlicht: (2026)

Database Research needs an Abstract Relational Query Language
von: Gatterbauer, Wolfgang, et al.
Veröffentlicht: (2025)

Exponentiable linear orders need not be transitive
von: Mittal, Mihir, et al.
Veröffentlicht: (2024)

One is all you need: Second-order Unification without First-order Variables
von: Cerna, David M., et al.
Veröffentlicht: (2024)

Relative model completeness of henselian valued fields with finite ramification and various value groups
von: De Mase, Anna
Veröffentlicht: (2023)

Dividing Lines between Positive Theories
von: Dmitrieva, Anna, et al.
Veröffentlicht: (2023)

Connectivity notions on compatible digraphs in equational classes
von: Gyenizse, Gergő, et al.
Veröffentlicht: (2026)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

Morphological and thermal analyses of flexible polyurethane foams containing commercial calcium carbonate
von: S. S. Sant'Anna
Veröffentlicht: (2008)

Parametric equations for temporal style assertions
von: Yodaiken, Victor
Veröffentlicht: (2016)

Exponential sums equations and the Exponential Closedness conjecture
von: Aslanyan, Vahagn, et al.
Veröffentlicht: (2024)

Continuous approximate roots of polynomial equations via shape theory
von: Lau, Joshua, et al.
Veröffentlicht: (2025)

The equational theory of the Weihrauch lattice with multiplication
von: Neumann, Eike, et al.
Veröffentlicht: (2024)

Demystifying $μ$
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

The strength of the dominance rule
von: Kołodziejczyk, Leszek Aleksander, et al.
Veröffentlicht: (2024)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

The subTuring degrees
von: Kihara, Takayuki, 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)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
von: Takahashi, Yuta
Veröffentlicht: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
von: Kürbis, Nils
Veröffentlicht: (2024)

Further remarks on the dual negation in team logics
von: Anttila, Aleksi
Veröffentlicht: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
von: Lyon, Tim S.
Veröffentlicht: (2024)

Denotational semantics driven simplicial homology?
von: Barbarossa, Davide
Veröffentlicht: (2024)