Logic in India—Editorial Introduction

Article

References

  1. 1.
    Banerjee, M., & Seth, A. (Eds.) (2011). Logic and its applications—4th Indian Conference, ICLA 2011. Proceedings (Vol. 6521). LNCS: Springer.Google Scholar
  2. 2.
    Banerjee, M., & Chakraborty, M. K. (1996). Rough sets through algebraic logic. Fundamenta Informaticae, 28(3–4), 211–221.Google Scholar
  3. 3.
    Bochenski, I. M. (1955). Formale logik. München: K. A. VerlagGoogle Scholar
  4. 4.
    Chakraborty, M. K. (1995). Graded consequence: Further studies. Journal of Applied Non-Classical Logics, 5(2), 127–137.Google Scholar
  5. 5.
    Chakraborty, M. K., & Chatterjee, A. (1996). On representation of indeterminate identity via vague concepts. Journal of Applied Non-Classical Logics, 6(2).Google Scholar
  6. 6.
    Gardner, P., & Yoshida, N. (Eds.) (2004). 15th international Conference on Concurrency Theory (CONCUR) (Vol. 3170). LNCS: Springer.Google Scholar
  7. 7.
    Lodaya, K., & Pandya, P. K. (2006). A dose of timed logic, in guarded measure. In E. Asarin, & P. Bouyer (Eds.), FORMATS. Lecture notes in computer science (Vol. 4202, pp. 260–273). Springer.Google Scholar
  8. 8.
    Lodaya, K., Parikh, R., Ramanujam, R., & Thiagarajan, P. S. (1995). A logical study of distributed transition systems. Information and Computation, 119(1), 91–118.CrossRefGoogle Scholar
  9. 9.
    Rasiowa, H., & Sikorski, R. (1970). The mathematics of metamathematics. Warsaw: Polish Scientific Publishers.Google Scholar
  10. 10.
    Seth, A. (1992). There is no recursive axiomatization for feasible functionals of type ∼2. In LICS (pp. 286–295). IEEE Computer Society.Google Scholar
  11. 11.
    Shukla, A. (1967). A note on the axiomatizations of certain modal systems. Notre Dame Journal of Formal Logic, 8(1–2), 118–120.CrossRefGoogle Scholar
  12. 12.
    Shukla, A. (1972). The existence postulate and non-regular systems of modal logic. Notre Dame Journal of Formal Logic, 13(3), 369–378.CrossRefGoogle Scholar
  13. 13.
    Zilberman, D. B. (2006). History of Indian logic. In R. S. Cohen, & H. Gourko (Eds.), Analogy in Indian and Western philosophical thought. Boston studies in the philosophy of science (Vol. 243, pp. 110–120). SpringerGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  • Hans van Ditmarsch
    • 1
    • 2
  • Rohit Parikh
    • 3
  • R. Ramanujam
    • 2
  1. 1.LogicUniversity of SevillaSevillaSpain
  2. 2.Institute of Mathematical SciencesChennaiIndia
  3. 3.Computer Science, Mathematics and PhilosophyBrooklyn College and CUNY Graduate CenterNew YorkUSA

Personalised recommendations