Predicate formal system UL_h (0,1]^ and its completeness

DOI10.1007/978-3-642-15660-1_24MaRDI QIDQ3145153zbMATH OpenOpenAlexFDO

Authors Yingcang Ma, Huan Liu

Publication date 14 December 2012

Published in Quantitative Logic and Soft Computing 2010 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15660-1_24

zbMATH Keywords

axiomatizationfuzzy logicuniversal logicpredicate calculus

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• The properties of closed theories with its application in the formal deductive system \({\mathscr{L}^*}\)
• scientific article; zbMATH DE number 5060344
• The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
• scientific article; zbMATH DE number 432735

Cited in

(2)

• scientific article; zbMATH DE number 5060344 (Why is no real title available?)
• scientific article; zbMATH DE number 432735 (Why is no real title available?)

This page was built for publication: Predicate formal system \(\forall\mathcal {UL}_{h\in (0,1]}^{\triangle}\) and its completeness

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