:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barbina, Silvia, Casanovas, Enrique
Format:	Preprint
Veröffentlicht:	2018
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/1805.06767
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The elementary theory of free Steiner triple systems
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)

Endomorphisms of free Steiner quasigroups
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)

Local stability in structures with a standard sort
von: Barbina, Silvia, et al.
Veröffentlicht: (2025)

Continuous logic in a classical setting
von: Agostini, Claudio, et al.
Veröffentlicht: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

Strictly Monotone Numerosity on Tame Sets via the Steiner Polynomial
von: Previdi, Joseph T.
Veröffentlicht: (2020)

Bounded Ramsey's theorem for triples in computability theory
von: Patey, Ludovic, et al.
Veröffentlicht: (2026)

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

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

Model theory of term algebras revisited
von: Carolillo, Davide, et al.
Veröffentlicht: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Tarskian truth theories over set theory
von: Enayat, Ali
Veröffentlicht: (2026)

Simulating dynamic systems using Linear Time Calculus theories
von: Bogaerts, Bart, et al.
Veröffentlicht: (2014)

Incompleteness for stably computable formal systems
von: Savelyev, Yasha
Veröffentlicht: (2022)

Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

On unsuperstable theories in GDST
von: Moreno, Miguel
Veröffentlicht: (2022)

Constructive theory of ordinals
von: Coquand, Thierry, et al.
Veröffentlicht: (2022)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2023)

Model theory and Connes' bicentralizer problem
von: Ando, Hiroshi, et al.
Veröffentlicht: (2026)

Dependent measures in independent theories
von: Khanaki, Karim
Veröffentlicht: (2021)

Gradualist descriptionalist set theory
von: Simmons, David
Veröffentlicht: (2026)

Indiscernibles in monadically NIP theories
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2024)

Algebraic proof theory for LE-logics
von: Greco, Giuseppe, et al.
Veröffentlicht: (2018)

Modal definability in Kripke's theory of truth
von: Walsh, James
Veröffentlicht: (2024)

Some model theory of quadratic geometries
von: Kestner, Charlotte, et al.
Veröffentlicht: (2024)

The Ginsburg--Sands theorem and computability theory
von: Benham, Heidi, et al.
Veröffentlicht: (2024)

Adequate conditionals and Kripke's theory of truth
von: Stern, Johannes
Veröffentlicht: (2024)

Lie rings in finite-dimensional theories
von: Invitti, Moreno
Veröffentlicht: (2025)