← ISO 80000-2 §7: Sets ISO 80000-2 §9: Axiomatic theory of sets →

ISO 80000-2 §8: Classical logic

Named Individualisqisq:part-2-8

URI

https://w3id.org/standards/isq/ontologies/core/part-2-8

Qualified Name

isq:part-2-8

Instance Of

smart:PublicationDocument

Identifier

ISO 80000-2 §8

Part Of

isq:part-2

Assertions

smart:hasBindingnessTypesmart:normative
smart:hasPublicationTypesmart:internationalStandard

@prefix isq: <https://w3id.org/standards/isq/ontologies/core/> .
@prefix smart: <https://w3id.org/standards/smart/ontologies/core/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

isq:part-2-8 a,
    smart:PublicationDocument ;
  rdfs:label "ISO 80000-2 §8: Classical logic" ;
  dcterms:identifier "ISO 80000-2 §8" ;
  dcterms:isPartOf isq:part-2 ;
  smart:hasBindingnessType smart:normative ;
  smart:hasPublicationType smart:internationalStandard
 .