Cover Image

Point-free MV-topologies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ortiz, Marby Zuley Bolaños, De La Pava, Luz Victoria, Russo, Ciro
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An extension of Priestley duality to fuzzy topologies and positive MV-algebras
by: Ortiz, Marby Zuley Bolaños, et al.
Published: (2025)

Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
by: Russo, Ciro
Published: (2025)

The category of propositional deductive systems
by: Russo, Ciro
Published: (2025)

The group of automorphism of the Fermat curve
by: Marby Bolaños Ortiz
Published: (2016)

Strong quasi-MV* algebras and their logics
by: Cai, Lei, et al.
Published: (2025)

The logic of quasi MV star algebras
by: Cai, Lei, et al.
Published: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)

MV-frames
by: Nganou, Jean B
Published: (2024)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
by: Kihara, Takayuki
Published: (2022)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Scales in the Point Spectrum
by: Benhamou, Tom
Published: (2026)

Kites and representations of pseudo MV-algebras
by: Botur, Michal, et al.
Published: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

When is the étale open topology a field topology?
by: Dittmann, Philip, et al.
Published: (2022)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
by: Nechesov, Andrey
Published: (2024)

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
by: Gitman, Victoria, et al.
Published: (2024)

Cardinals of the $P_κ(λ)$-Filter Games
by: Benhamou, Tom, et al.
Published: (2025)

On the universal theory of the free pseudocomplemented distributive lattice
by: Carai, Luca, et al.
Published: (2024)

Friedman's $ \mathsf{WD} $ is not parameter-free sequential
by: Murwanashyaka, Juvenal
Published: (2025)

Pointed lattice subreducts of varieties of residuated lattices
by: Přenosil, Adam
Published: (2023)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
by: Melleray, Julien
Published: (2026)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
by: Higuchi, Joaquim Reizi
Published: (2026)

Almost free algebras: from the word problem to elimination of quantifiers
by: Jia, Yifan, et al.
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Knowability as continuity: a topological account of informational dependence
by: Baltag, Alexandru, et al.
Published: (2024)

On some Fraisse limits with free amalgamation
by: Bossut, Yvon
Published: (2024)

Torsion-free abelian groups of finite rank and fields of finite transcendence degree
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

Complexity of the variable-free fragments of non-normal modal logics (extended version)
by: Kudinov, A., et al.
Published: (2025)

Derivations and gt-henselian field topologies
by: Walsberg, Erik
Published: (2025)

Dimension and topology in transserial tame pairs
by: Pynn-Coates, Nigel
Published: (2025)

Formal model theory and higher topology
by: Ivan Di Liberti
Published: (2024)