PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Meanings-of-the-Logical-Constants-1983.pdf%7Cjournal=Nordic
Meanings-of-the-Logical-Constants-1983.pdf%7Cjournal=Nordic
https://archive-pml.github.io/martin-lof/pdfs/Meanings-of-the-Logical-Constants-1983.pdf%7Cjournal=Nordic
Judgment (mathematical logic)
Link from a Wikipage to an external page
Meanings-of-the-Logical-Constants-1983.pdf%7Cjournal=Nordic
https://archive-pml.github.io/martin-lof/pdfs/Meanings-of-the-Logical-Constants-1983.pdf%7Cjournal=Nordic