Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*

DOI10.1007/978-94-007-0714-6_9zbMATH Open1314.68303OpenAlexW2055314740MaRDI QIDQ5261298FDOQ5261298

Ganesh Ramanarayanan, Dexter Kozen

Publication date: 3 July 2015

Published in: Games, Norms and Reasons (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0714-6_9

Mathematics Subject Classification ID

Knowledge representation (68T30) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Cited In (3)

• Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24--26, 2001
• KAT-ML: an interactive theorem prover for Kleene algebra with tests
• Mathematical Knowledge Management

Uses Software

• Mizar
• Nuprl

   Recommendations

• A Review of Mathematical Knowledge Management 👍 👎
• Mechanizing Mathematical Reasoning 👍 👎
• Mathematical Knowledge Management 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Proceedings of the mathematical knowledge management symposium, Edinburgh, UKNEWLINENovember 25--29, 2003 👍 👎
• Contribution of the ontology engineering to mathematical knowledge management 👍 👎
• Representing, Archiving, and Searching the Space of Mathematical Knowledge 👍 👎
• Mathematical knowledge representation. (Extended abstract) 👍 👎
• Formalizability and knowledge ascriptions in mathematical practice 👍 👎

This page was built for publication: Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261298)