IRI

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

Adnotacje

  • zawiera tekst
    • 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

Identyczne obiekty

Typy

Object properties

Data properties