scientific article

zbMATH Open1188.03018MaRDI QIDQ3407415

Bin Zhao, San-min Wang

Publication date: 4 March 2010

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fuzzy logicHilbert systemFFLHpsUL

Mathematics Subject Classification ID

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

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Proving properties of functional programs by equality saturation 👍 👎
• A language-independent proof system for full program equivalence 👍 👎
• The explanative and procedural semantics of FLL 👍 👎
• Equivalence of Two Formal Semantics for Functional Logic Programs 👍 👎
• Inductive Prover Based on Equality Saturation for a Lazy Functional Language 👍 👎
• Coinductive Proof Techniques for Language Equivalence 👍 👎

This page was built for publication: