Imagen de Portada

Discrete dualities for some algebras from rough sets

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Düntsch, Ivo, Orłowska, Ewa
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Logic 03B70, 03G, 06B F.4; H.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The fork and its role in unification of closure algebras
por: Düntsch, Ivo, et al.
Publicado: (2023)

Inclusion with repetitions and Boolean constants -- implication problems revisited
por: Häggblom, Matilda
Publicado: (2025)

Axiomatization of approximate exclusion
por: Häggblom, Matilda
Publicado: (2024)

Axiomatizing approximate inclusion
por: Häggblom, Matilda
Publicado: (2025)

Normal forms in cubical type theory
por: Huang, Xu
Publicado: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
por: Nakamura, Yuki
Publicado: (2026)

Continuous and algebraic domains in univalent foundations
por: de Jong, Tom, et al.
Publicado: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2020)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
por: Hausmann, Daniel, et al.
Publicado: (2022)

The Golden Path to Guarded Monotone Strict NP
por: Barsukov, Alexey, et al.
Publicado: (2023)

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

Weihrauch problems as containers
por: Pradic, Cécilia, et al.
Publicado: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
por: Borzechowski, Manfred, et al.
Publicado: (2025)

First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
por: Poernomo, Iman
Publicado: (2025)

ASP Chef grows Mustache to look better
por: Alviano, Mario, et al.
Publicado: (2025)

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

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

Approximate Axiomatization for Differentially-Defined Functions
por: Platzer, André, et al.
Publicado: (2025)

A proof-theoretical approach to some extensions of first order quantification
por: Allègre, Loïc, et al.
Publicado: (2024)

The logic of bunched implications is undecidable
por: Galatos, Nick, et al.
Publicado: (2026)

On the expressive power of inquisitive epistemic logic
por: Ciardelli, Ivano, et al.
Publicado: (2023)

Hereditary First-Order Logic: the tractable quantifier prefix classes
por: Bodirsky, Manuel, et al.
Publicado: (2024)

On the Computational Power of Extensional ESO
por: Bodirsky, Manuel, et al.
Publicado: (2025)

Thoughts on sub-Turing interactive computability
por: Japaridze, Giorgi
Publicado: (2024)

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

First-Order Coalition Logic
por: Catta, Davide, et al.
Publicado: (2025)

Examples and counterexamples of injective types
por: de Jong, Tom, et al.
Publicado: (2026)

Algorithmic correspondence and analytic rules
por: De Domenico, Andrea, et al.
Publicado: (2022)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
por: Japaridze, Giorgi
Publicado: (2026)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
por: Wang, Shuai
Publicado: (2024)

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

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
por: Lyon, Tim S.
Publicado: (2025)

A propositional cirquent calculus for computability logic
por: Japaridze, Giorgi
Publicado: (2024)

Evaluation trees for proposition algebra
por: Bergstra, Jan A., et al.
Publicado: (2015)

Logics of polyhedral reachability
por: Bezhanishvili, Nick, et al.
Publicado: (2024)

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

Univalent Material Set Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2023)

Kripke-like models of Set Theory in Modal Residuated Logic
por: Moncayo, Jose, et al.
Publicado: (2024)