Not signed in (Sign In)

Discussion Feed
- RSS2
- ATOM

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: metaphysics

1 to 1 of 1

- CommentRowNumber1.
- CommentAuthorUrs
- CommentTimeJan 4th 2015
- (edited Jan 4th 2015)
- PermaLink
Author: Urs
Format: MarkdownItexPrompted by discussion with Thomas Holder and David Corfield behind the scenes, I have added some references: * Martin-Löf, _[A path from logic to metaphysics](http://ncatlab.org/nlab/show/metaphysics#MartinLoef90)_ * Dieter Wandschneider, _[Dialektik als Letztbegründung der Logik](http://ncatlab.org/nlab/show/adjoint+modality#Wandschneider99)_
Prompted by discussion with Thomas Holder and David Corfield behind the scenes, I have added some references:
- Martin-Löf, A path from logic to metaphysics
- Dieter Wandschneider, Dialektik als Letztbegründung der Logik

1 to 1 of 1