:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Simón, Nicolás Sevilla
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2504.14400
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

On the consistency of stronger lower bounds for NEXP
by: Thapen, Neil
Published: (2025)

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

Some Epistemic Extensions of Gödel Fuzzy Logic
by: Dastgheib, D., et al.
Published: (2016)

Fuzzy Aristotelian Diagrams
by: Syropoulos, Apostolos
Published: (2024)

Modal logical aspects of provability predicates and consistency statements
by: Kogure, Haruka, et al.
Published: (2025)

Refinements of provability and consistency principles for the second incompleteness theorem
by: Kurahashi, Taishi
Published: (2025)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
by: Castro, Pablo F.
Published: (2026)

Non-expansive Fuzzy ALC
by: Gebhart, Stefan, et al.
Published: (2025)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
by: Bilkova, Marta, et al.
Published: (2023)

On Cohen and Prikry Forcing Notions
by: Benhamou, Tom, et al.
Published: (2022)

Separating Subversion Forcing Axioms
by: Sakai, Hiroshi, et al.
Published: (2023)

Logic of Fuzzy Paths
by: Grover, Kush, et al.
Published: (2026)

Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)

Non-Expansive Fuzzy Coalgebraic Logic
by: Gebhart, Stefan, et al.
Published: (2025)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
by: Shelah, Saharon
Published: (1991)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
by: Kettmann, Pascal, et al.
Published: (2026)

On the Intermediate Models of Strongly Compact Prikry Forcing
by: Benhamou, Tom, et al.
Published: (2026)

Proper and Improper Variants of Mathias and Silver Forcing
by: Liu, Shixiao
Published: (2023)

Non-Normal Magidor-Radin Types of Forcings
by: Benhamou, Tom, et al.
Published: (2024)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Fuzzy Implicative Rules: A Unified Approach
by: Fernandez-Peralta, Raquel
Published: (2025)

Probabilistic Abduction in a Fuzzy Logic Framework
by: Flaminio, Tommaso, et al.
Published: (2026)

$ω$-consistency for Different Arrays of Quantifiers
by: Santos, Paulo Guilherme
Published: (2024)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
by: Narusevych, Mykyta
Published: (2026)

NF is Consistent
by: Holmes, M. Randall, et al.
Published: (2015)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
by: Mio, Matteo, et al.
Published: (2023)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
by: Kozhemiachenko, Daniil, et al.
Published: (2026)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

Fuzzy Lattice-based Description Logic
by: Ding, Yiwen, et al.
Published: (2025)

Superamalgamation for modal lattices via non-distributive dualities
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)

Reducing Student Distraction Through Fuzzy Logic Based Seating Arrangements
by: Olges, Garrett, et al.
Published: (2025)

Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results
by: Gilton, Thomas
Published: (2025)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

Model-theoretic Forcing in Transition Algebra
by: Hashimoto, Go, et al.
Published: (2025)

A consistency theorem for cardinal sequences of length $< ω_3$
by: Martínez, Juan Carlos, et al.
Published: (2025)

A Comprehensive Survey of Fuzzy Implication Functions
by: Fernandez-Peralta, Raquel
Published: (2025)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
by: Lanzinger, Matthias, et al.
Published: (2024)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

Preservation of Topological Properties by Strongly Proper Forcings
by: Gilton, Thomas, et al.
Published: (2024)