Cover Image

On the structure of Bochvar algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bonzio, Stefano, Baldi, Michele Pra
Format:	Preprint
Published:	2023
Subjects:	Logic Primary: 03G25. Secondary: 03B60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

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

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
by: Neri, Morenikeji, et al.
Published: (2024)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

On the structure and theory of McCarthy algebras
by: Bonzio, Stefano, et al.
Published: (2025)

Ultracontact algebras and stack systems
by: Carai, Luca, et al.
Published: (2026)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

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

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)

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

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Untranscendable order types
by: Ervin, Garrett, et al.
Published: (2026)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Model Theory of Generic Vector Space Endomorphisms
by: Chini, Leon
Published: (2025)

Model Theory of Generic Vector Space Endomorphisms II
by: Chini, Leon
Published: (2025)

Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2025)

The bottom of the lattice of BCK-varieties
by: Kowalski, Tomasz
Published: (2024)

Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?
by: Karagila, Asaf, et al.
Published: (2023)

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions
by: Ryan-Smith, Calliope
Published: (2023)

Geometric condition for Dependent Choice
by: Karagila, Asaf, et al.
Published: (2022)

The finitary partitions with $n$ non-singleton blocks of a set
by: Hu, Yifan, et al.
Published: (2024)

Local reflections of choice
by: Ryan-Smith, Calliope
Published: (2024)

Approaching a Bristol model
by: Karagila, Asaf
Published: (2020)

Of model completeness and algebraic groups
by: Hoffmann, Daniel Max, et al.
Published: (2023)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
by: Gerdes, Peter
Published: (2023)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
by: Massmann, Jayde Sylvie
Published: (2023)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
by: Harrington, Leo A., et al.
Published: (2025)

Strong reducibilities and set theory
by: Schweber, Noah
Published: (2024)