:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bonzio, Stefano, Baldi, Michele Pra
Format:	Preprint
Publié:	2023
Sujets:	Logic Primary: 03G25. Secondary: 03B60
Accès en ligne:	https://arxiv.org/abs/2305.05457
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Bochvar algebras: A categorical equivalence and the generated variety
par: Bonzio, Stefano, et autres
Publié: (2024)

Decidable varieties of p-algebras
par: Kowalski, Tomasz, et autres
Publié: (2024)

Maehara Interpolation in Extensions of R-mingle
par: Fussner, Wesley, et autres
Publié: (2025)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
par: Ayhan, Sara
Publié: (2023)

Stone type representation theorems via games
par: Aslan, Tuğba, et autres
Publié: (2018)

State-based Modal Logics for Free Choice
par: Aloni, Maria, et autres
Publié: (2023)

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
par: Neri, Morenikeji, et autres
Publié: (2024)

Connectedness through decidable quotients
par: Hernández, Enrique Ruiz, et autres
Publié: (2023)

On the structure and theory of McCarthy algebras
par: Bonzio, Stefano, et autres
Publié: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
par: Knudstorp, Søren Brinck
Publié: (2025)

Ultracontact algebras and stack systems
par: Carai, Luca, et autres
Publié: (2026)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
par: Cornejo, Juan M., et autres
Publié: (2024)

The Borel monadic theory of order is decidable
par: Manthe, Sven
Publié: (2024)

Cardinality in a paraconsistent and paracomplete set theory
par: Oddsson, Hrafn Valtýr
Publié: (2026)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
par: Anttila, Aleksi, et autres
Publié: (2025)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
par: Oddsson, Hrafn Valtýr
Publié: (2026)

Interpolation and the Exchange Rule
par: Fussner, Wesley, et autres
Publié: (2023)

Untranscendable order types
par: Ervin, Garrett, et autres
Publié: (2026)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
par: Tanaka, Yoshihito
Publié: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
par: Galliani, Pietro
Publié: (2025)

Sub-sub-intuitionistic logic
par: Deakin, Jonte, et autres
Publié: (2024)

The bottom of the lattice of BCK-varieties
par: Kowalski, Tomasz
Publié: (2024)

Model Theory of Generic Vector Space Endomorphisms
par: Chini, Leon
Publié: (2025)

Model Theory of Generic Vector Space Endomorphisms II
par: Chini, Leon
Publié: (2025)

Derived Models in PFA
par: Levinson, Derek, et autres
Publié: (2025)

Of model completeness and algebraic groups
par: Hoffmann, Daniel Max, et autres
Publié: (2023)

Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?
par: Karagila, Asaf, et autres
Publié: (2023)

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions
par: Ryan-Smith, Calliope
Publié: (2023)

Geometric condition for Dependent Choice
par: Karagila, Asaf, et autres
Publié: (2022)

The finitary partitions with $n$ non-singleton blocks of a set
par: Hu, Yifan, et autres
Publié: (2024)

Local reflections of choice
par: Ryan-Smith, Calliope
Publié: (2024)

Approaching a Bristol model
par: Karagila, Asaf
Publié: (2020)

On the theories classified by an étendue
par: Wrigley, Joshua
Publié: (2025)

Term algebras of elementarily equivalent atom structures
par: Andréka, H., et autres
Publié: (2018)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
par: Gerdes, Peter
Publié: (2023)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
par: Massmann, Jayde Sylvie
Publié: (2023)

Building Models of Determinacy from Below
par: Kasum, Obrad, et autres
Publié: (2024)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
par: Harrington, Leo A., et autres
Publié: (2025)