Germinal theories in Łukasiewicz logic (Q515569)

Given a valuation \(v \in [0,1]^n\), a germinal theory at \(v\) in the Łukasiewicz infinite-valued propositional logic is the smallest theory \(\Theta_{\min,v}\) consisting of formulas in variables \(X_1, X_2, \ldots, X_n\) and having \(v\) as its unique model. The authors deal with Lindenbaum algebras of germinal theories; for \(\Theta_{\min,v}\), this algebra coincides with the subalgebra of the standard MV-algebra \([0,1]\) generated by the coordinates of \(v\). A necessary and sufficient condition is given for theories \(\Theta_{\min,v}\) and \(\Theta_{\min,w}\) with \(u\), \(v\) in the interior of \([0, 1]^n\) to be isomorphic. The authors also discuss description and classification of Lindenbaum algebras of germinal theories in two variables.