scientific article; zbMATH DE number 5677418

MaRDI QIDQ3407415zbMATH OpenFDO

Authors Sanmin Wang, Bin Zhao

Publication date 4 March 2010

Full work available at URL http://pphmj.com/abstract/4588.htm

zbMATH Keywords

FFLfuzzy logicHilbert systemHpsUL

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Equivalence of two formal semantics for functional logic programs
• A language-independent proof system for full program equivalence
• The explanative and procedural semantics of FLL
• scientific article; zbMATH DE number 2090534
• Inductive prover based on equality saturation for a lazy functional language
• Coinductive proof techniques for language equivalence
• scientific article; zbMATH DE number 1497779
• Proving properties of functional programs by equality saturation
• Equivalence of two fixed-point semantics for definitional higher-order logic programs

Cited in

(1)

• HpsUL is not the logic of pseudo-uninorms and their residua

This page was built for publication:

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