:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Aglianó, Paolo, CItkin, Alex
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2401.02754
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Congruence permutability in quasivarieties
by: Carai, Luca, et al.
Published: (2025)

On covers of quasivarieties of p-algebras
by: Gyenis, Zalán
Published: (2026)

Varieties of MV-monoids and positive MV-algebras
by: Abbadini, Marco, et al.
Published: (2024)

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

The complete classification for quantified equality constraints
by: Zhuk, Dmitriy, et al.
Published: (2021)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

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

The completeness and congruences of quasi-Boolean algebras
by: Liu, Xiaohao, et al.
Published: (2025)

Strong completeness for the predicate logic of the continuous t-norms
by: Castaño, Diego, et al.
Published: (2024)

Axiomatic theories of supervaluational truth: completing the picture
by: Dopico, Pablo, et al.
Published: (2024)

Characterizing relative decidability in terms of model completeness
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Arithmetical completeness for some extensions of the pure logic of necessitation
by: Kogure, Haruka
Published: (2024)

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

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
by: Herbelin, Hugo, et al.
Published: (2024)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
by: Castaño, Diego, et al.
Published: (2024)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
by: McDonald, Joseph
Published: (2025)

Hyperbolicity and model-complete fields
by: Szachniewicz, Michał, et al.
Published: (2024)

Quasitoposes as elementary quotient completions
by: Maietti, Maria Emilia, et al.
Published: (2021)

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

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
by: Takemura, Ryo
Published: (2025)

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

The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
by: Ivanova, Tatyana, et al.
Published: (2021)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Alignment complete relational Hoare logics for some and all
by: Nagasamudram, Ramana, et al.
Published: (2023)

Positionality in $Σ_0^2$ and a completeness result
by: Ohlmann, Pierre, et al.
Published: (2023)

Foulis quantales and complete orthomodular lattices
by: Botur, Michal, et al.
Published: (2025)

Choice axioms and Postnikov completeness
by: Anel, Mathieu, et al.
Published: (2024)

On the local consequence of modal Product logic: standard completeness and decidability
by: Vidal, Amanda
Published: (2023)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
by: Chardonnet, Kostia, et al.
Published: (2023)

A New Kim's Lemma
by: Kruckman, Alex, et al.
Published: (2023)

Three surprising instances of dividing
by: Conant, Gabriel, et al.
Published: (2023)

Deducibility in the full Lambek calculus with weakening is HAck-complete
by: Greati, Vitor, et al.
Published: (2024)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Morse theory in definably complete d-minimal structures
by: Fujita, Masato, et al.
Published: (2024)

A dagger kernel category of complete orthomodular lattices
by: Botur, Michal, et al.
Published: (2025)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
by: Bozzelli, L., et al.
Published: (2022)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)