David Corfield
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
Home Page
(
Home Page(rev # 150)
|
history
)
by
David Corfield
at April 30, 2021 at 08:36:06
free logic
(
free logic(rev # 4)
|
history
)
by
David Corfield
at April 29, 2021 at 13:16:48
n-theory
(
n-theory(rev # 10)
|
history
)
by
David Corfield
at April 29, 2021 at 12:07:27
free logic
(
free logic(rev # 3)
|
history
)
by
David Corfield
at April 29, 2021 at 12:00:57
n-theory
(
n-theory(rev # 9)
|
history
)
by
David Corfield
at April 28, 2021 at 09:45:57
many-sorted logic
(
many-sorted logic(rev # 4)
|
history
)
by
David Corfield
at April 28, 2021 at 07:35:02
many-sorted logic
(
many-sorted logic(rev # 3)
|
history
)
by
David Corfield
at April 27, 2021 at 09:38:51
free logic
(
free logic(rev # 2)
|
history
)
by
David Corfield
at April 27, 2021 at 09:37:24
many-sorted logic
(
many-sorted logic(rev # 2)
|
history
)
by
David Corfield
at April 27, 2021 at 09:03:38
many-sorted logic
(
many-sorted logic(rev # 1)
|
history
)
by
David Corfield
at April 27, 2021 at 08:28:58
Home Page
(
Home Page(rev # 149)
|
history
)
by
David Corfield
at April 27, 2021 at 08:26:41
free logic
(
free logic(rev # 1)
|
history
)
by
David Corfield
at April 27, 2021 at 08:06:27
n-theory
(
n-theory(rev # 8)
|
history
)
by
David Corfield
at April 26, 2021 at 15:04:08
n-theory
(
n-theory(rev # 7)
|
history
)
by
David Corfield
at April 23, 2021 at 10:35:19
inferences
(
inferences(rev # 2)
|
history
)
by
David Corfield
at April 23, 2021 at 09:48:56
stuff
(
stuff(rev # 4)
|
history
)
by
David Corfield
at April 23, 2021 at 09:13:27
quotient types
(
quotient types(rev # 8)
|
history
)
by
David Corfield
at April 18, 2021 at 09:17:57
quotient types
(
quotient types(rev # 7)
|
history
)
by
David Corfield
at April 16, 2021 at 13:41:08
stuff
(
stuff(rev # 3)
|
history
)
by
David Corfield
at April 16, 2021 at 13:35:54
univocal-equivocal
(
univocal-equivocal(rev # 6)
|
history
)
by
David Corfield
at April 16, 2021 at 13:12:52
negative facts
(
negative facts(rev # 6)
|
history
)
by
David Corfield
at April 16, 2021 at 09:48:26
univocal-equivocal
(
univocal-equivocal(rev # 5)
|
history
)
by
David Corfield
at April 16, 2021 at 09:17:30
stuff
(
stuff(rev # 2)
|
history
)
by
David Corfield
at April 15, 2021 at 16:11:36
negative facts
(
negative facts(rev # 5)
|
history
)
by
David Corfield
at April 15, 2021 at 14:53:25
stuff
(
stuff(rev # 1)
|
history
)
by
David Corfield
at April 15, 2021 at 14:51:12
Home Page
(
Home Page(rev # 148)
|
history
)
by
David Corfield
at April 15, 2021 at 14:13:16
probability
(
probability(rev # 31)
|
history
)
by
Anonymous
?
at April 13, 2021 at 13:11:03
negative facts
(
negative facts(rev # 4)
|
history
)
by
David Corfield
at April 13, 2021 at 12:31:50
univocal-equivocal
(
univocal-equivocal(rev # 4)
|
history
)
by
David Corfield
at April 13, 2021 at 10:24:28
logic-mathematics
(
logic-mathematics(rev # 8)
|
history
)
by
David Corfield
at April 13, 2021 at 09:42:56
logic-mathematics
(
logic-mathematics(rev # 7)
|
history
)
by
David Corfield
at April 13, 2021 at 08:48:02
logic-mathematics
(
logic-mathematics(rev # 6)
|
history
)
by
David Corfield
at April 13, 2021 at 06:38:04
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 14)
|
history
)
by
Tim Johns
?
at April 13, 2021 at 01:38:53
probability
(
probability(rev # 30)
|
history
)
by
David Corfield
at April 12, 2021 at 15:52:36
logic-mathematics
(
logic-mathematics(rev # 5)
|
history
)
by
David Corfield
at April 12, 2021 at 15:31:17
probability
(
probability(rev # 29)
|
history
)
by
David Corfield
at April 12, 2021 at 14:57:03
logic-mathematics
(
logic-mathematics(rev # 4)
|
history
)
by
David Corfield
at April 12, 2021 at 14:37:06
probability
(
probability(rev # 28)
|
history
)
by
David Corfield
at April 12, 2021 at 14:18:13
logic-mathematics
(
logic-mathematics(rev # 3)
|
history
)
by
David Corfield
at April 12, 2021 at 12:28:29
logic-mathematics
(
logic-mathematics(rev # 2)
|
history
)
by
David Corfield
at April 12, 2021 at 10:54:04
negative facts
(
negative facts(rev # 3)
|
history
)
by
David Corfield
at April 12, 2021 at 08:14:43
negative facts
(
negative facts(rev # 2)
|
history
)
by
David Corfield
at April 12, 2021 at 07:06:49
negative facts
(
negative facts(rev # 1)
|
history
)
by
David Corfield
at April 10, 2021 at 10:21:11
Home Page
(
Home Page(rev # 147)
|
history
)
by
David Corfield
at April 10, 2021 at 07:01:37
logic-mathematics
(
logic-mathematics(rev # 1)
|
history
)
by
David Corfield
at April 9, 2021 at 14:41:24
types in philosophical literature
(
types in philosophical literature(rev # 7)
|
history
)
by
David Corfield
at April 9, 2021 at 10:01:36
Home Page
(
Home Page(rev # 146)
|
history
)
by
David Corfield
at April 9, 2021 at 10:00:35
univocal-equivocal
(
univocal-equivocal(rev # 3)
|
history
)
by
David Corfield
at April 7, 2021 at 15:12:26
n-theory
(
n-theory(rev # 6)
|
history
)
by
David Corfield
at April 7, 2021 at 14:58:05
n-theory
(
n-theory(rev # 5)
|
history
)
by
David Corfield
at April 7, 2021 at 13:23:16
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 13)
|
history
)
by
David Corfield
at April 7, 2021 at 10:44:44
n-theory
(
n-theory(rev # 4)
|
history
)
by
David Corfield
at April 7, 2021 at 08:50:44
invariance
(
invariance(rev # 14)
|
history
)
by
David Corfield
at March 31, 2021 at 14:13:25
invariance
(
invariance(rev # 13)
|
history
)
by
David Corfield
at March 29, 2021 at 07:44:32
univocal-equivocal
(
univocal-equivocal(rev # 2)
|
history
)
by
David Corfield
at March 26, 2021 at 11:21:44
univocal-equivocal
(
univocal-equivocal(rev # 1)
|
history
)
by
David Corfield
at March 26, 2021 at 07:57:23
Home Page
(
Home Page(rev # 145)
|
history
)
by
David Corfield
at March 26, 2021 at 07:51:31
type, object, monad, process
(
type, object, monad, process(rev # 7)
|
history
)
by
David Corfield
at March 24, 2021 at 20:46:08
Home Page
(
Home Page(rev # 144)
|
history
)
by
David Corfield
at March 21, 2021 at 11:15:11
type, object, monad, process
(
type, object, monad, process(rev # 6)
|
history
)
by
David Corfield
at March 21, 2021 at 11:14:40
MHTT2
(
MHTT2(rev # 5)
|
history
)
by
David Corfield
at March 18, 2021 at 08:25:02
types in philosophical literature
(
types in philosophical literature(rev # 6)
|
history
)
by
David Corfield
at March 18, 2021 at 08:05:05
MHTT2
(
MHTT2(rev # 4)
|
history
)
by
David Corfield
at March 17, 2021 at 15:21:27
MHTT2
(
MHTT2(rev # 3)
|
history
)
by
David Corfield
at March 15, 2021 at 21:58:48
MHTT2
(
MHTT2(rev # 2)
|
history
)
by
David Corfield
at March 15, 2021 at 20:36:19
MHTT2
(
MHTT2(rev # 1)
|
history
)
by
David Corfield
at March 15, 2021 at 14:57:06
Home Page
(
Home Page(rev # 143)
|
history
)
by
David Corfield
at March 15, 2021 at 13:43:56
endorsements
(
endorsements(rev # 7)
|
history
)
by
David Corfield
at February 28, 2021 at 15:06:48
hyperintensionality
(
hyperintensionality(rev # 3)
|
history
)
by
David Corfield
at February 23, 2021 at 14:42:23
hyperintensionality
(
hyperintensionality(rev # 2)
|
history
)
by
David Corfield
at February 23, 2021 at 12:59:57
endorsements
(
endorsements(rev # 6)
|
history
)
by
David Corfield
at February 22, 2021 at 15:37:32
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 12)
|
history
)
by
David Corfield
at February 1, 2021 at 10:43:48
probability
(
probability(rev # 27)
|
history
)
by
David Corfield
at January 28, 2021 at 19:18:42
quotient types
(
quotient types(rev # 6)
|
history
)
by
David Corfield
at January 28, 2021 at 16:45:19
Home Page
(
Home Page(rev # 142)
|
history
)
by
David Corfield
at January 28, 2021 at 10:11:19
Ox Notes
(
Ox Notes(rev # 16)
|
history
)
by
David Corfield
at January 17, 2021 at 17:31:12
Ox Notes
(
Ox Notes(rev # 15)
|
history
)
by
David Corfield
at January 16, 2021 at 11:16:56
Ox Notes
(
Ox Notes(rev # 14)
|
history
)
by
David Corfield
at January 16, 2021 at 09:50:48
Ox Notes
(
Ox Notes(rev # 13)
|
history
)
by
David Corfield
at January 16, 2021 at 09:16:43
Ox Notes
(
Ox Notes(rev # 12)
|
history
)
by
David Corfield
at January 15, 2021 at 11:18:17
Ox Notes
(
Ox Notes(rev # 11)
|
history
)
by
David Corfield
at January 14, 2021 at 11:14:49
temporal type theory
(
temporal type theory(rev # 11)
|
history
)
by
David Corfield
at January 14, 2021 at 10:54:59
Ox Notes
(
Ox Notes(rev # 10)
|
history
)
by
David Corfield
at January 13, 2021 at 11:15:32
Ox Notes
(
Ox Notes(rev # 9)
|
history
)
by
David Corfield
at January 12, 2021 at 11:47:13
Ox Notes
(
Ox Notes(rev # 8)
|
history
)
by
David Corfield
at January 12, 2021 at 10:40:34
Ox Notes
(
Ox Notes(rev # 7)
|
history
)
by
David Corfield
at January 11, 2021 at 17:39:14
Ox Notes
(
Ox Notes(rev # 6)
|
history
)
by
David Corfield
at January 11, 2021 at 15:38:23
Ox Notes
(
Ox Notes(rev # 5)
|
history
)
by
David Corfield
at January 11, 2021 at 10:45:17
Ox Notes
(
Ox Notes(rev # 4)
|
history
)
by
David Corfield
at January 11, 2021 at 08:15:33
Ox Notes
(
Ox Notes(rev # 3)
|
history
)
by
David Corfield
at January 10, 2021 at 18:01:58
Ox Notes
(
Ox Notes(rev # 2)
|
history
)
by
David Corfield
at January 10, 2021 at 15:39:14
questions
(
questions(rev # 2)
|
history
)
by
David Corfield
at January 9, 2021 at 16:05:47
knowledge
(
knowledge(rev # 3)
|
history
)
by
David Corfield
at January 9, 2021 at 09:39:14
Ox Notes
(
Ox Notes(rev # 1)
|
history
)
by
David Corfield
at January 8, 2021 at 12:29:17
Home Page
(
Home Page(rev # 141)
|
history
)
by
David Corfield
at January 8, 2021 at 12:07:08
questions
(
questions(rev # 1)
|
history
)
by
David Corfield
at January 8, 2021 at 08:22:29
Home Page
(
Home Page(rev # 140)
|
history
)
by
David Corfield
at January 8, 2021 at 08:21:05
knowledge
(
knowledge(rev # 2)
|
history
)
by
David Corfield
at January 8, 2021 at 08:19:50
inferences
(
inferences(rev # 1)
|
history
)
by
David Corfield
at January 4, 2021 at 13:50:14
Home Page
(
Home Page(rev # 139)
|
history
)
by
David Corfield
at January 4, 2021 at 13:45:15
« Previous
1
2
3
4
5
6
7
8
9
10
Next »