3

Questions

votes newest views recent

11

15

votes

5

answers

2k

views

How do proof verifiers work?

lo.logic proof-theory

jan 11 at 22:30 jessealama 86●3

21

13

votes

4

answers

10k

views

Propositional Logic, First-Order Logic, and Higher-Order Logics

lo.logic

jan 30 11 at 20:26 Mark Adams 511●6●6

1

1

vote

2

answers

583

views

Semantics of Higher-Order Logics

lo.logic formal-languages

jul 26 10 at 13:02 Andrej Bauer 13.2k●29●72