Back to Results
First PageMeta Content
Fuzzy logic / Mathematical logic / Model theory / Metalogic / Proof theory / Monoidal t-norm logic / BL / ukasiewicz logic / First-order logic / Completeness / Axiom / Metamathematics


On strong standard completeness of MTLQ ∗ expansions Amanda Vidal1 , Lluis Godo1 , and Francesc Esteva1 Artificial Intelligence Research Institute (IIIA - CSIC), Spain, [amanda][godo][esteva]@iiia.csic.es
Add to Reading List

Document Date: 2015-05-04 03:55:14

Open Document

File Size: 309,51 KB

Share Result on Facebook
UPDATE