IRI

http://www.metaontology.pl/metaontology_populated.owl#abstract_1101
Label Language Type
abstract of Not Every Truth has a Truthmaker II en rdfs:label

Annotations

  • has text
    • A proof employing no semantic terms is offered in support of the claim that there can be truths without truthmakers. The logical resources used in the proof are weak but do include the structural rule Contraction

Same Individuals

Types

Object properties

Data properties