A logical calculus of analogy involving functions of order $2$.
Dorrough, Douglas C.
Notre Dame J. Formal Logic, Tome 11 (1970) no. 1, p. 321-336 / Harvested from Project Euclid
Publié le : 1970-07-14
Classification:  02.20
@article{1093894002,
     author = {Dorrough, Douglas C.},
     title = {A logical calculus of analogy involving functions of order $2$.},
     journal = {Notre Dame J. Formal Logic},
     volume = {11},
     number = {1},
     year = {1970},
     pages = { 321-336},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093894002}
}
Dorrough, Douglas C. A logical calculus of analogy involving functions of order $2$.. Notre Dame J. Formal Logic, Tome 11 (1970) no. 1, pp.  321-336. http://gdmltest.u-ga.fr/item/1093894002/