A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā  in Computational Settings

Srinivasan, Bama; Parthasarathi, Ramakrishnan

doi:10.1007/s11787-021-00281-6

Cited by 1 publication

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• Zvonimir Šikic, Georgius Benignus Logic Prize (Croatia), "Kneale's natural deductions as a notational variant of Beth's tableaus" [23]. • Bama Srinivasan and Ranjani Parthasarath, Bimal Krishna Matilal Logic Prize (India) "A formalism to specify unambiguous instructions inspired by Mimamsa in computational settings" [24]. • Vor Aranda Utrero, Spanish Prize of Logic (Spain), "Completeness: from Husserl to Carnap" [25].…”

Section: Organization Of the 2nd World Logic Prizes Contestmentioning

confidence: 99%

The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022

Béziau¹

2022

Log. Univers.

View full text Add to dashboard Cite

We discuss the evolution of the World Logic Prizes Contest. In a first section, we describe how this contest developed, on the on hand by the creation of the Universal Logic Prize starting in 2005 at the 1st World Congress and School on Universal Logic in Montreux, Switzerland, on the other hand by the creation of the Newton da Costa Logic Prize in Brazil in 2014. These two projects joined in 2018 by the organization of the 1st World Logic Prizes Contest at the 6th World Congress and School on Universal Logic in Vichy, France. In a second section, we talk about the organization of the 2nd World Logic Prizes Contest to take place in April 2022 at the 6th World Congress and School on Universal Logic in Crete, Greece. We explain that there will be 15 contestants from 15 different countries with a good geographic distribution. In a third section, we discuss how this project can develop in the future with the creation of more logic prizes, the creation of similar prizes in other fields and the organization of a World Scientific Prizes Contest.

show abstract

Section: Organization Of the 2nd World Logic Prizes Contestmentioning

confidence: 99%

The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022

Béziau¹

2022

Log. Univers.

View full text Add to dashboard Cite

show abstract

A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings

Cited by 1 publication

References 14 publications

The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022

The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022

Contact Info

Product

Resources

About