Add to ORKGThis paper was presented at the First Indian Conference on Logic and its relationship with other disciplines, Mumbai, January 200
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Language
This paper presents an overview of the Indian tradition of logic. The paper starts with the Vedic id...
A fascinating and largely unheralded development accompanying the rise of computer science and compu...
Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas)...
Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas)...
Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas)...
We describe the creation and development of a course on mathematical logic and its extensions and li...
My purpose is to examine some concepts of mathematical logic, which have been studied by Carlo Cellu...
The paper examines the interrelationship between mathematics and logic, arguing that a central chara...
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-...
Mathematics is one of the most interesting and challeng-ing subjects known to mankind. This is due p...
The paper presents an outline of a unified answer to five questions concerning logic: (1) Is logic i...
Mathematical logic is a field of mathematics dealing with formalization and logical reasoning. At lo...
To obtain information, we can query a database management system. To do so, we express our queries ...
Is logic formal, mathematical or linguistic? A critique of how mathematics and computer science app...
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Language
This paper presents an overview of the Indian tradition of logic. The paper starts with the Vedic id...
A fascinating and largely unheralded development accompanying the rise of computer science and compu...
Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas)...
Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas)...
Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas)...
We describe the creation and development of a course on mathematical logic and its extensions and li...
My purpose is to examine some concepts of mathematical logic, which have been studied by Carlo Cellu...
The paper examines the interrelationship between mathematics and logic, arguing that a central chara...
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-...
Mathematics is one of the most interesting and challeng-ing subjects known to mankind. This is due p...
The paper presents an outline of a unified answer to five questions concerning logic: (1) Is logic i...
Mathematical logic is a field of mathematics dealing with formalization and logical reasoning. At lo...
To obtain information, we can query a database management system. To do so, we express our queries ...
Is logic formal, mathematical or linguistic? A critique of how mathematics and computer science app...
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Language
This paper presents an overview of the Indian tradition of logic. The paper starts with the Vedic id...
A fascinating and largely unheralded development accompanying the rise of computer science and compu...