Find Flashcards
Discover millions of Flashcards
- Browse Brainscape-Certified Flashcards
  
  Learn faster with our catalog of expert certified, pre-made flashcards.
- Browse All Flashcards
  
  Browse our full catalog of user-generated and Brainscape-Certified flashcards.
- Explore the Knowledge Genome of subjects:
Make Flashcards
How It Works
- Features Overview
- The Science of Studying
Educators
- Schools & Teachers
- Tutors & Resellers
Businesses
- Employee Training
- Publishers & Resellers
Academy

Log in My Dashboard
Get Started Log out

AR > 5. Representation > Flashcards

5. Representation Flashcards

(1 cards)

Study These Flashcards

1

Q

What is context as a formula?

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

AR

flashcards

Decks in class (13)

# Cards

Sequent Calculus Rules

1. Propositional Logic and Natural Deduction

2. Natural Deduction and Starting with Isabelle

3. Propositional Reasoning in Isabelle

4. First-Order Logic

5. Representation

6. Introduction to Higher Order Logic in Isabelle

7. Representation II Locales in Isabelle/HOL

8. Isar - A Language for Structured Proofs

11. Inductive Proof

12. Hoare Logic

Key Links
Subjects
Company
- About Us
- Earn Money!
- Academy
- Swag Shop
- Contact
- Terms
- Privacy Policy
- Podcasts
- Careers
Find Us

Brainscape helps you reach your goals faster, through stronger study habits.
© 2026 Bold Learning Solutions. Terms and Conditions