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

DOI10.1007/978-3-642-15660-1_24zbMATH Open1260.03052OpenAlexW67472569MaRDI QIDQ3145153FDOQ3145153

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

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

zbMATH Keywords

axiomatizationfuzzy logicuniversal logicpredicate calculus

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)