A semantics and a logic for \textit{Fuzzy Arden Syntax}
type: Item
instance of: scholarly article
title: A semantics and a logic for \textit{Fuzzy Arden Syntax}
zbMATH Open document ID: 1499.03023
author: Leandro G. Gomes
author: Alexandre Madeira
author: L. S. Barbosa
published in: Soft Computing
publication date: 2022-11-21T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 7621003
describes a project that uses: jFuzzyLogic
MaRDI profile type: Publication
full work available at URL: s00500-021-05593-9
OpenAlex ID: W3133406696
cites work: On the structure of hoops
cites work: On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
cites work: Standard Gödel modal logics
cites work: VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
cites work: Dynamic Łukasiewicz logic and dynamic MV-algebras
cites work: Propositional dynamic logic of regular programs
cites work: Probabilistic NetKAT
cites work: Kleisli, Parikh and Peleg compositions and liftings for multirelations
cites work: Concurrent Dynamic Algebra
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Generalising KAT to Verify Weighted Computations
cites work: Extending maps to profinite completions in finitely generated quasivarieties
cites work: Q4525781
cites work: Concurrent Kleene algebra and its foundations
cites work: Means-end relations and a measure of efficacy
cites work: On fuzzy modal logics \(S5(\mathcal C)\)
cites work: A probabilistic PDL
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: On Hoare logic and Kleene algebra with tests
cites work: Q4950084
cites work: An exercise on the generation of many-valued dynamic logics
cites work: Using probabilistic Kleene algebra pKA for protocol verification
cites work: An Event Structure Model for Probabilistic Concurrent Kleene Algebra
cites work: Q3346126
cites work: Concurrent dynamic logic
cites work: Q4287490
cites work: Synchronous Kleene algebra
cites work: Theory and Applications of Relational Structures as Knowledge Instruments
cites work: Monotone Predicate Transformers as Up-Closed Multirelations
cites work: Q5104726
cites work: Propositional dynamic logic for searching games with errors
cites work: Q5408906
cites work: Fuzzy sets
DOI: 10.1007/S00500-021-05593-9
description: scientific article; zbMATH DE number 7621003