A semantics and a logic for \textit{Fuzzy Arden Syntax}

DOI10.1007/s00500-021-05593-9zbMath1499.03023OpenAlexW3133406696MaRDI QIDQ2099984

Leandro G. Gomes, Alexandre Madeira, Luís Soares Barbosa

Publication date: 21 November 2022

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-021-05593-9

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Weighted synchronous automata ⋮ Special issue ``International symposium on molecular logic and computational synthetic biology: MLCSB18

Uses Software

• jFuzzyLogic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional dynamic logic for searching games with errors
• Concurrent Kleene algebra and its foundations
• On fuzzy modal logics \(S5(\mathcal C)\)
• Synchronous Kleene algebra
• Means-end relations and a measure of efficacy
• Residuated lattices. An algebraic glimpse at substructural logics
• Using probabilistic Kleene algebra pKA for protocol verification
• Standard Gödel modal logics
• A probabilistic PDL
• Propositional dynamic logic of regular programs
• A completeness theorem for Kleene algebras and the algebra of regular events
• On the structure of hoops
• Extending maps to profinite completions in finitely generated quasivarieties
• Dynamic Łukasiewicz logic and dynamic MV-algebras
• Kleisli, Parikh and Peleg compositions and liftings for multirelations
• An exercise on the generation of many-valued dynamic logics
• Probabilistic NetKAT
• An Event Structure Model for Probabilistic Concurrent Kleene Algebra
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Concurrent dynamic logic
• Generalising KAT to Verify Weighted Computations
• Concurrent Dynamic Algebra
• Monotone Predicate Transformers as Up-Closed Multirelations
• Fuzzy sets
• On Hoare logic and Kleene algebra with tests
• Theory and Applications of Relational Structures as Knowledge Instruments

This page was built for publication: A semantics and a logic for \textit{Fuzzy Arden Syntax}