Image de couverture de livre

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kettmann, Pascal, Strass, Hannes, Heyninck, Jesse, Spaans, Jeroen
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
par: Kettmann, Pascal, et autres
Publié: (2025)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
par: Spaans, Jeroen, et autres
Publié: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
par: Kojima, Ryota, et autres
Publié: (2025)

Operator-based semantics for choice programs: is choosing losing? (full version)
par: Heyninck, Jesse
Publié: (2024)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
par: Heyninck, Jesse
Publié: (2024)

Paraconsistent Constructive Modal Logic
par: Gao, Han, et autres
Publié: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
par: Vanbesien, Linde, et autres
Publié: (2025)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
par: Pollaci, Samuele
Publié: (2025)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
par: Acclavio, Matteo, et autres
Publié: (2026)

Defeasible Conditionals using Answer Set Programming
par: Dennison, Racquel, et autres
Publié: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
par: Barenbaum, Pablo, et autres
Publié: (2025)

Approximating Fixpoints of Approximated Functions
par: Baldan, Paolo, et autres
Publié: (2025)

Ordered Adjoint Logic (Extended Version)
par: Roshal, Sophia, et autres
Publié: (2026)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
par: Pollaci, Samuele, et autres
Publié: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Fixpoint Theory -- Upside Down
par: Baldan, Paolo, et autres
Publié: (2021)

A Categorical Approach to Coalgebraic Fixpoint Logic
par: Schoen, Ezra, et autres
Publié: (2024)

Partially Finite Model Reasoning in Description Logics Extended Version
par: Gogacz, Tomasz, et autres
Publié: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
par: Jung, Jean Christoph, et autres
Publié: (2025)

Practical Deductive Verification of OCaml Programs (Extended Version)
par: Pereira, Mário
Publié: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Fixpoint Semantics for DatalogMTL with Negation
par: Pollaci, Samuele
Publié: (2026)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
par: Baldan, Paolo, et autres
Publié: (2025)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
par: Baader, Franz, et autres
Publié: (2025)

A General Automata Model for First-Order Temporal Logics (Extended Version)
par: Geatti, Luca, et autres
Publié: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
par: Niederhauser, Johannes, et autres
Publié: (2024)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
par: Bednarczyk, Bartosz, et autres
Publié: (2025)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
par: Dalmonte, Tiziano, et autres
Publié: (2025)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
par: Artale, Alessandro, et autres
Publié: (2024)

Paraconsistent Existential Graphs Gamma Peirce System
par: Sierra-Aristizabal, Manuel
Publié: (2023)

Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version)
par: Soares, Tiago Lopes, et autres
Publié: (2024)

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
par: Aruta, Marco, et autres
Publié: (2025)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
par: Cheng, Ruotong, et autres
Publié: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
par: Giusti, Giulia, et autres
Publié: (2025)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
par: Faella, Marco, et autres
Publié: (2024)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Witnesses for Fixpoint Games on Lattices
par: König, Barbara, et autres
Publié: (2026)