Deduction and Presentation in ρLog | Zendy

Mircea Marin | Zendy; Florina Piroi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Deduction and Presentation in ρLog

Author(s) -

Mircea Marin,

Florina Piroi

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2003.12.033

Subject(s) - presentation (obstetrics) , computer science , natural deduction , programming language , proof of concept , calculus (dental) , theoretical computer science , medicine , dentistry , radiology , operating system

We describe the deductive and proof presentation capabilities of a rule-based system implemented in Mathematica. The system can compute proof objects, which are internal representations of deduction derivations which respect a specification given by the user. It can also visualize such deductions in human readable format, at various levels of detail. The presentation of the computed proof objects is done in a natural-language style which is derived and simplified for our needs from the proof presentation styles of Theorema

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research