Pages that link to "Item:Q5221294"
From MaRDI portal
The following pages link to MECHANIZING <i>PRINCIPIA LOGICO-METAPHYSICA</i> IN FUNCTIONAL TYPE-THEORY (Q5221294):
Displaying 4 items.
- PLM (Q53731) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts (Q5217250) (← links)
- Is weak supplementation analytic? (Q6088917) (← links)