Article PDF
References
Banerjee, M., & Seth, A. (Eds.) (2011). Logic and its applications—4th Indian Conference, ICLA 2011. Proceedings (Vol. 6521). LNCS: Springer.
Banerjee, M., & Chakraborty, M. K. (1996). Rough sets through algebraic logic. Fundamenta Informaticae, 28(3–4), 211–221.
Bochenski, I. M. (1955). Formale logik. München: K. A. Verlag
Chakraborty, M. K. (1995). Graded consequence: Further studies. Journal of Applied Non-Classical Logics, 5(2), 127–137.
Chakraborty, M. K., & Chatterjee, A. (1996). On representation of indeterminate identity via vague concepts. Journal of Applied Non-Classical Logics, 6(2).
Gardner, P., & Yoshida, N. (Eds.) (2004). 15th international Conference on Concurrency Theory (CONCUR) (Vol. 3170). LNCS: Springer.
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.
Lodaya, K., Parikh, R., Ramanujam, R., & Thiagarajan, P. S. (1995). A logical study of distributed transition systems. Information and Computation, 119(1), 91–118.
Rasiowa, H., & Sikorski, R. (1970). The mathematics of metamathematics. Warsaw: Polish Scientific Publishers.
Seth, A. (1992). There is no recursive axiomatization for feasible functionals of type ∼2. In LICS (pp. 286–295). IEEE Computer Society.
Shukla, A. (1967). A note on the axiomatizations of certain modal systems. Notre Dame Journal of Formal Logic, 8(1–2), 118–120.
Shukla, A. (1972). The existence postulate and non-regular systems of modal logic. Notre Dame Journal of Formal Logic, 13(3), 369–378.
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). Springer
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
van Ditmarsch, H., Parikh, R. & Ramanujam, R. Logic in India—Editorial Introduction. J Philos Logic 40, 557–561 (2011). https://doi.org/10.1007/s10992-011-9213-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-011-9213-3