-
Notifications
You must be signed in to change notification settings - Fork 4
/
Logic.lean
51 lines (37 loc) · 1.35 KB
/
Logic.lean
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
import Logic.Vorspiel.Vorspiel
import Logic.Vorspiel.Order
--import Logic.Vorspiel.Meta
import Logic.Logic.LogicSymbol
import Logic.Logic.Semantics
import Logic.Logic.System
-- AutoProver
-- import Logic.AutoProver.Litform
-- import Logic.AutoProver.Prover
-- Propositional
import Logic.Propositional.Classical.Basic.Formula
import Logic.Propositional.Classical.Basic.Calculus
import Logic.Propositional.Classical.Basic.Semantics
import Logic.Propositional.Classical.Basic.Completeness
import Logic.Propositional.Classical.Basic
-- import Logic.Propositional.Translation
-- FirstOrder
import Logic.FirstOrder.Basic
import Logic.FirstOrder.Ultraproduct
import Logic.FirstOrder.Completeness.Coding
import Logic.FirstOrder.Completeness.SubLanguage
import Logic.FirstOrder.Completeness.SearchTree
import Logic.FirstOrder.Completeness.Completeness
import Logic.FirstOrder.Order.Le
import Logic.FirstOrder.Interpretation
import Logic.FirstOrder.Arith.Basic
import Logic.FirstOrder.Arith.Hierarchy
import Logic.FirstOrder.Arith.StrictHierarchy
import Logic.FirstOrder.Arith.Theory
import Logic.FirstOrder.Arith.Model
import Logic.FirstOrder.Arith.CobhamR0
import Logic.FirstOrder.Arith.PeanoMinus
import Logic.FirstOrder.Arith.Representation
import Logic.FirstOrder.Arith.Nonstandard
-- import Logic.FirstOrder.Arith.EA.Basic
import Logic.IntProp.IntProp
import Logic.Modal.Modal