Connect with users of Wolfram technologies to learn, solve problems and share ideas
Mark as an Answer
1 Total Likes
Follow this post
Share this post:
Logic and Boolean Algebra
Implement Sequent calculus into mathematica
10 years ago
Is it possible to implement a Sequent calculus of first order mathematical Logic into mathematica an manipulate expressions of the first order mathematical language?
The calculus would consits of 9 rules that tell mathematica which changes can be made on a certain expression written in the first order language.
For example there would be a rule like
which means that if there is a expression like
mathematica ist allowed to manipulate it by deleting the quantifier and the variable and get the solution
Sean Clarke, Wolfram Research
10 years ago
Is it possible to implement this? Yes. (Well it is possible to implement in any programming language, but Mathematica is actually a good choice, which is what really matters). Mathematica/The Wolfram Language excels at describing symbolic transformations and typsetting different notations. But what features are you looking for? If you look online a bit, it looks like there's implementations in COQ, which would be useful for theorem proving. I don't know what you intend to do.
The first thing to do is to implement sequent calculus using ordinary expressions. After that, you can use the Notation package in Mathematica to create the kind of typesetting you want. To begin with, I'd
read thru the Mathematica virtual book
to get a feeling for how to program in Mathematica. After that, take a look at the Notation package in the documentation.
Reply to this discussion
in reply to
Community posts can be styled and formatted using the
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Add a file to this post
Follow this discussion
Be respectful. Review our
to understand your role and responsibilities.
Wolfram|Alpha Notebook Edition
Volume & Site Licensing
Enterprise Private Cloud
Service Plans Benefits
Wolfram Language Documentation
Wolfram Language Introductory Book
Get Started with Wolfram
Fast Introduction for Programmers
Fast Introduction for Math Students
Webinars & Training
Connected Devices Project
Wolfram Data Drop
Wolfram + Raspberry Pi
. All rights reserved.
Learn how »