Solving Łukasiewicz -terms

DOI10.1016/J.TCS.2017.11.002MaRDI QIDQ683713zbMATH OpenOpenAlexFDO

Authors Juan-Miguel Gracia

Publication date 9 February 2018

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/59038471/LukasiewiczTerms.pdf

zbMATH Keywords

algorithm for evaluating \(\mu\)-termsfixed pointsprobabilistic \(\mu\)-calculus

Mathematics Subject Classification ID

Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Łukasiewicz \(\mu\)-calculus
• scientific article; zbMATH DE number 7357543
• Solving Equations of the Gell-Mann-Low and Callan-Symanzik Type
• On \(p\) Laplace polynomial solutions
• Exact solutions of the multiple Loewner equation
• Solution of a Loewner chain equation in several complex variables
• SOLVING LINEAR EQUATIONS IN L-FUNCTIONS
• scientific article; zbMATH DE number 4077966
• Solutions of integral equations via modified Laguerre polynomials
• Exact solutions of Loewner equations

Cites work

• A Decision Procedure for the First Order Theory of Real Addition with Order
• An effective decision procedure for linear arithmetic over the integers and reals
• scientific article; zbMATH DE number 1936673 (Why is no real title available?)
• Model checking in the modal -calculus and generic solutions
• Results on the propositional \(\mu\)-calculus
• Rudiments of \(\mu\)-calculus
• Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination
• Łukasiewicz \(\mu\)-calculus

Cited in

(2)

• Łukasiewicz \(\mu\)-calculus
• Real equation systems with alternating fixed-points

This page was built for publication: Solving Łukasiewicz \(\mu\)-terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q683713)