Imagen de Portada

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Castiglioni, José Luis, Ertola-Biraben, Rodolfo C.
Formato:	Preprint
Publicado:	2025
Materias:	Logic Logic in Computer Science 03G10, 03E72, F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
por: Stanković, Marko, et al.
Publicado: (2025)

Generating proof systems for three-valued propositional logics
por: Greati, Vitor, et al.
Publicado: (2024)

Modal logic, fundamentally
por: Holliday, Wesley H.
Publicado: (2024)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
por: Shamkanov, Daniyar
Publicado: (2021)

A Guide to Krivine Realizability for Set Theory
por: Matthews, Richard
Publicado: (2023)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
por: Santo, José Espírito, et al.
Publicado: (2020)

Locally tabular products of modal logics
por: Shapirovsky, Ilya B., et al.
Publicado: (2024)

Glivenko's theorems from an ecumenical perspective
por: Pereira, Luiz Carlos, et al.
Publicado: (2026)

The Category Dichotomy for Ideals
por: Dow, Alan, et al.
Publicado: (2025)

Learning Families of Algebraic Structures from Text
por: Bazhenov, Nikolay, et al.
Publicado: (2024)

On distance logics of Euclidean spaces
por: Agnew, Gabriel, et al.
Publicado: (2025)

Sufficient conditions for local tabularity of a polymodal logic
por: Shapirovsky, Ilya B.
Publicado: (2022)

Relational Models for the Lambek Calculus with Intersection and Constants
por: Kuznetsov, Stepan L.
Publicado: (2022)

On an ordinary expansion of first-order Belnap-Dunn logic
por: Middelburg, C. A.
Publicado: (2023)

Finite Hilbert systems for Weak Kleene logics
por: Greati, Vitor, et al.
Publicado: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
por: Gabbay, Murdoch J., et al.
Publicado: (2025)

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

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
por: Hori, Hiromasa, et al.
Publicado: (2023)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
por: Hartonas, Chrysafis
Publicado: (2023)

Assume-guarantee contract algebras are dp-algebras
por: Castiglioni, Jose Luis, et al.
Publicado: (2024)

Proof Compression via Subatomic Logic and Guarded Substitutions
por: Barrett, Victoria, et al.
Publicado: (2025)

The reverse mathematics of the pigeonhole hierarchy
por: Houérou, Quentin Le, et al.
Publicado: (2024)

Interpolation and the Exchange Rule
por: Fussner, Wesley, et al.
Publicado: (2023)

Effective bases and notions of effective second countability in computable analysis
por: Brattka, Vasco, et al.
Publicado: (2025)

Two strong undefinability results in inquisitive and team semantics
por: Barbero, Fausto
Publicado: (2024)

A Lopez-Escobar Theorem for Continuous Domains
por: Bazhenov, Nikolay, et al.
Publicado: (2023)

Forcing as a Local Method of Accessing Small Extensions
por: Lau, Desmond
Publicado: (2024)

On some computational properties of open sets
por: Normann, Dag, et al.
Publicado: (2024)

Logic in Mathematics and Computer Science
por: Zach, Richard
Publicado: (2024)

Possibility Semantics
por: Holliday, Wesley H.
Publicado: (2024)

Homological Invariants of Higher-Order Equational Theories
por: Ikebuchi, Mirai
Publicado: (2025)

Antichain of ordinals in intuitionistic set theory
por: Wang, Shuwei
Publicado: (2025)

Stack Representation of Finitely Presented Heyting Pretoposes I
por: Ye, Lingyuan
Publicado: (2024)

A vector logic for extensional formal semantics
por: Quigley, Daniel
Publicado: (2024)

A Non-Constructive Proof of Cantor's Theorem
por: Salehi, Saeed
Publicado: (2025)

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
por: Semenov, Stanislav
Publicado: (2025)

Uniform Interpolation
por: van Gool, Sam
Publicado: (2025)

The behavior of higher proof theory I: Case $Σ^1_2$
por: Jeon, Hanul
Publicado: (2024)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
por: Baldwin, John T., et al.
Publicado: (2026)