Geodesic
Logical equations in monadic logic
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part XI, Tome 358 (2008), pp. 251-270

Voir la notice de l'article provenant de la source Math-Net.Ru

A logical formula $F(\mathbf X,\mathbf P)$ can be treated as an equation to be satisfied by the solutions $\mathbf X_0(\mathbf P)$ for the predicates $\mathbf X$ with the expressions $\mathbf P$ as parameters (if there are such solutions). J. McCarthy [8] considers the parameterization of the solutions, gives the general solution in the case of propositional logic and states the problem for other logics. We find the general solution for the formulas in the first-order language with monadic predicates and equality. The solutions are obtained via quantifier elimination and parametrized by $\epsilon$-terms. Bibl. – 10 titles. 
@article{ZNSL_2008_358_a12,
     author = {G. Mints and T. Hoshi},
     title = {Logical equations in monadic logic},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {251--270},
     publisher = {mathdoc},
     volume = {358},
     year = {2008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a12/}
}
TY  - JOUR
AU  - G. Mints
AU  - T. Hoshi
TI  - Logical equations in monadic logic
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2008
SP  - 251
EP  - 270
VL  - 358
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a12/
LA  - en
ID  - ZNSL_2008_358_a12
ER  - 
%0 Journal Article
%A G. Mints
%A T. Hoshi
%T Logical equations in monadic logic
%J Zapiski Nauchnykh Seminarov POMI
%D 2008
%P 251-270
%V 358
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a12/
%G en
%F ZNSL_2008_358_a12
G. Mints; T. Hoshi. Logical equations in monadic logic. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part XI, Tome 358 (2008), pp. 251-270. http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a12/