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