Questions tagged [metalogic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
22 views

When and what must be present on the left-hand side of the turnstile in metalogics?

Let me show the problem on an example... An actual task from one of the former exams: Consider a simple functional language: $$e::= x|n|e_1e_2|\lambda x.e$$ With typing rules: $$\...