Image de couverture de livre

A Cobham theorem for scalar multiplication

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hieronymi, Philipp, Manthe, Sven, Schulz, Chris
Format:	Preprint
Publié:	2024
Sujets:	Logic Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Decidability for Sturmian words
par: Hieronymi, Philipp, et autres
Publié: (2021)

Incompleteness theorems via Turing category
par: Savelyev, Yasha
Publié: (2024)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
par: Przybocki, Benjamin, et autres
Publié: (2024)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
par: Ken, Eitetsu, et autres
Publié: (2024)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
par: Asgeirsson, Dagur
Publié: (2023)

Uniform Bounds in D-Minimal Structures
par: Farris, Madie, et autres
Publié: (2026)

$ω$-Regular Energy Problems
par: Dziadek, Sven, et autres
Publié: (2022)

Distributive Laws of Monadic Containers
par: Purdy, Chris, et autres
Publié: (2025)

Yet another cubical type theory, but via a semantic approach
par: Kapulkin, Chris, et autres
Publié: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

A modal approach towards substitutions
par: Tu, Yaxin, et autres
Publié: (2025)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
par: Kihara, Takayuki
Publié: (2024)

Guarded Successor: A Novel Temporal Logic
par: Asor, Ohad
Publié: (2024)

A proof-theoretic approach to abstract interpretation
par: D'Silva, Vijay, et autres
Publié: (2026)

A note on Stone-Čech compactification in ZFA
par: Przybyłek, Michał R.
Publié: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
par: Qu, Zhuoyuan
Publié: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

Nelson algebras, residuated lattices and rough sets: A survey
par: Järvinen, Jouni, et autres
Publié: (2024)

A logic of judgmental existence and its relation to proof irrelevance
par: Pezlar, Ivo
Publié: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
par: Sabelli, Pietro
Publié: (2024)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
par: Alvarez, David Quinn
Publié: (2025)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
par: Kihara, Takayuki
Publié: (2022)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
par: Oda, Yukihiro
Publié: (2025)