Copertina

Paraconsistent Relations as a Variant of Kleene Algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cunha, Juliana, Madeira, Alexandre, Barbosa, Luís S.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Tools for Completeness of Kleene Algebra with Hypotheses
di: Pous, Damien, et al.
Pubblicazione: (2022)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
di: Nakamura, Yoshiki
Pubblicazione: (2025)

Morita Rigidity for Kleene Algebras
di: Serafin, Luke
Pubblicazione: (2025)

Completeness of Finitely Weighted Kleene Algebra With Tests
di: Sedlár, Igor
Pubblicazione: (2024)

Completions of Kleene's second model
di: Terwijn, Sebastiaan A.
Pubblicazione: (2023)

Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
di: Nakamura, Yoshiki, et al.
Pubblicazione: (2024)

Paraconsistent Existential Graphs Gamma Peirce System
di: Sierra-Aristizabal, Manuel
Pubblicazione: (2023)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

An Elementary Proof of the FMP for Kleene Algebra
di: Kappé, Tobias
Pubblicazione: (2022)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

Paraconsistent Constructive Modal Logic
di: Gao, Han, et al.
Pubblicazione: (2025)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
di: Kappé, Tobias, et al.
Pubblicazione: (2023)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

Completeness of Relational Algebra via Cylindric Algebra
di: Laštovička, Jan
Pubblicazione: (2026)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
di: Verscht, Lena, et al.
Pubblicazione: (2024)

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

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

Paraconsistent-Lib: an intuitive PAL2v algorithm Python Library
di: Junior, Arnaldo de Carvalho, et al.
Pubblicazione: (2025)

A Function-Set Framework: General Properties and Applications to Modal Logic
di: Bayzid, Luke, et al.
Pubblicazione: (2025)

Cardinality and Representation of Stone Relation Algebras
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)

Linear Realisability and Implicative Algebras
di: Lucquin, Alexandre, et al.
Pubblicazione: (2026)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
di: Ong, Shawn, et al.
Pubblicazione: (2025)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

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

Exploring the abyss in Kleene's computability theory
di: Sanders, Sam
Pubblicazione: (2023)

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

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
di: Kieronski, Emanuel, et al.
Pubblicazione: (2016)

Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
di: Li, Augustus Haoyang
Pubblicazione: (2026)

The Algebras for Automatic Relations
di: Morvan, Rémi
Pubblicazione: (2024)

Infinite trees
di: Goy, Alexandre
Pubblicazione: (2025)

The Algebra of Parity Games
di: Piedeleu, Robin
Pubblicazione: (2025)

Continuous Algebras with Hypotheses
di: Mulder, Lukas, et al.
Pubblicazione: (2026)

The Algebra of Iterative Constructions
di: Batz, Kevin, et al.
Pubblicazione: (2026)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)

Forcing, Transition Algebras, and Calculi
di: Go, Hashimoto, et al.
Pubblicazione: (2024)

Effect Algebras as Omega-categories
di: Perticone, Lorenzo, et al.
Pubblicazione: (2023)

Induction rules for Transition Algebra
di: Hashimoto, Go
Pubblicazione: (2026)