𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A measure of asymmetry based on a new necessary and sufficient condition for symmetry

✍ Scribed by Patil, Prakash N.; Bagkavos, Dimitrios; Wood, Andrew T. A.


Book ID
121546247
Publisher
Springer-Verlag
Year
2013
Tongue
English
Weight
690 KB
Volume
76
Category
Article
ISSN
0976-836X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Sufficient and Necessary Condition for t
✍ H. AndrΓ©ka; T. Gergely; I. NΓ©meti πŸ“‚ Article πŸ“… 1974 πŸ› John Wiley and Sons 🌐 English βš– 140 KB πŸ‘ 1 views

I n this study we reformulate GODEL'S completeness theorem such that any firstorder calculus can be tested for completeness. The theorem in this form gives simple sufficient and necessary algebraic conditions for the calculus to be complete.