Image de couverture de livre

Structural completeness in quasivarieties

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Aglianó, Paolo, CItkin, Alex
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Congruence permutability in quasivarieties
par: Carai, Luca, et autres
Publié: (2025)

On covers of quasivarieties of p-algebras
par: Gyenis, Zalán
Publié: (2026)

Varieties of MV-monoids and positive MV-algebras
par: Abbadini, Marco, et autres
Publié: (2024)

A choice-free proof of Mal'cev's theorem on quasivarieties
par: Shen, Guozhen
Publié: (2025)

The complete classification for quantified equality constraints
par: Zhuk, Dmitriy, et autres
Publié: (2021)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
par: Hansen, Helle Hvid, et autres
Publié: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
par: de Jong, Tom
Publié: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
par: Dagnino, Francesco, et autres
Publié: (2024)

The completeness and congruences of quasi-Boolean algebras
par: Liu, Xiaohao, et autres
Publié: (2025)

Strong completeness for the predicate logic of the continuous t-norms
par: Castaño, Diego, et autres
Publié: (2024)

Axiomatic theories of supervaluational truth: completing the picture
par: Dopico, Pablo, et autres
Publié: (2024)

Characterizing relative decidability in terms of model completeness
par: Harrison-Trainor, Matthew, et autres
Publié: (2026)

Arithmetical completeness for some extensions of the pure logic of necessitation
par: Kogure, Haruka
Publié: (2024)

A note on schematic validity and completeness in Prawitz's semantics
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
par: Herbelin, Hugo, et autres
Publié: (2024)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
par: Castaño, Diego, et autres
Publié: (2024)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
par: McDonald, Joseph
Publié: (2025)

On all numbers great and small (Topological fields of Conway's numbers and their completions)
par: Lisica, Ju. T.
Publié: (2024)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
par: Takemura, Ryo
Publié: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
par: Simpson, Alex
Publié: (2024)

Hyperbolicity and model-complete fields
par: Szachniewicz, Michał, et autres
Publié: (2024)

Quasitoposes as elementary quotient completions
par: Maietti, Maria Emilia, et autres
Publié: (2021)

Relative model completeness of henselian valued fields with finite ramification and various value groups
par: De Mase, Anna
Publié: (2023)

The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
par: Ivanova, Tatyana, et autres
Publié: (2021)

Simple Classes of Automatic Structures
par: Blumensath, Achim
Publié: (2025)

Alignment complete relational Hoare logics for some and all
par: Nagasamudram, Ramana, et autres
Publié: (2023)

Positionality in $Σ_0^2$ and a completeness result
par: Ohlmann, Pierre, et autres
Publié: (2023)

Foulis quantales and complete orthomodular lattices
par: Botur, Michal, et autres
Publié: (2025)

On the local consequence of modal Product logic: standard completeness and decidability
par: Vidal, Amanda
Publié: (2023)

A New Kim's Lemma
par: Kruckman, Alex, et autres
Publié: (2023)

Three surprising instances of dividing
par: Conant, Gabriel, et autres
Publié: (2023)

Taking model-complete cores
par: Bodirsky, Manuel, et autres
Publié: (2025)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
par: Chardonnet, Kostia, et autres
Publié: (2023)

Choice axioms and Postnikov completeness
par: Anel, Mathieu, et autres
Publié: (2024)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
par: Bozzelli, L., et autres
Publié: (2022)

Morse theory in definably complete d-minimal structures
par: Fujita, Masato, et autres
Publié: (2024)

A dagger kernel category of complete orthomodular lattices
par: Botur, Michal, et autres
Publié: (2025)

Truncation Structures
par: Dries, Lou van den
Publié: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
par: Lyon, Tim S.
Publié: (2022)

Structural Completeness in bi-IPC
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2025)