Willem F Esterhuyse Posted January 13, 2023 Posted January 13, 2023 The Sequent Calculus has introduction and elimination rules that reflects Hilbert style axioms.
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now