arXiv subjects

Pedro H. Zambrano

Publications and source records attributed to Pedro H. Zambrano.

4 recordsLinked to original sources

arXiv2024

A characterization of Continuous Logic by using quantale-valued logics

In this paper, we propose a generalization of Continuous Logic ([BBHU08]) where the distances take values in suitable co-quantales (in the way as it was proposed in [Fla97]). By assuming suitable conditions (e.g., being co-divisible, co-Girard and a V-domain), we provide, as test questions, a proof of a version of the Tarski-Vaught test (Proposition 4.2) and Łoś Theorem (Theorem 5.27) in our setting. Iovino proved in [Iov01] that there is no any logic extending (equivalent logics to) Continuous Logic satisfying both Countable Tarski-Vaught chain Theorem and Compactness Theorem. Since [0, 1] satisfies all of the assumptions given above, we get new logics by dropping any of those assumptions.

math.LO↗

arXiv2024

Kripke-like models of Set Theory in Modal Residuated Logic

We generalize Fitting's work on Intuitionistic Kripke models of Set Theory using Ono and Komori's Residuated Kripke models. Based on these models, we provide a generalization of the von Neumann hierarchy in the context of Modal Residuated Logic and prove a translation of formulas between it and a suited Heyting valued model. We also propose a notion of universe of constructible sets in Modal Residuated Logic and discuss some aspects of it.

math.LO↗

arXiv2023

Constructible sets in lattice-valued models: A negative result

We investigate different set-theoretic constructions in Residuated Logic based on Fitting's work on Intuitionistic Set Theory. We start by stating some results concerning constructible sets within valued models of Set Theory. We present two distinct constructions of the constructible universe: $\mathfrak{L}^{\mathbb{Q}}$ and $\mathbb{L}^{\mathbb{Q}}$, and show that they are isomorphic to V (the classical von Neumann universe) and L (the classical Gödel constructible universe), respectively. Even though lattice-valued models are the natural way to study non-classical Set Theory (e.g., Intuitionistic, Residuated, Paraconsistent Set Theory),our results prove that the use of lattice-valued models is not suitable to study the notion of constructibility in logics weaker than classical logic.

math.LO↗

arXiv2022

A natural semantics for the pullback of fiber bundles of structures

We remark that forcing on fiber bundles of structures of first order languages is not a compatible semantics with the pullback (of fiber bundles) and we describe a semantics which behaves well with respect to it. This new semantics uses parallel transport and allows to introduce two different types of extensions for the formulae: vertical and horizontal extensions.

math.LO↗