Resource: wordnet/30/noun/symbolic_logic_1_09_00

This Lexvo.org page describes the entity referred to by the URI http://lexvo.org/id/wordnet/30/noun/symbolic_logic_1_09_00. A machine-readable RDF version of this description is provided here.

rdfs:comment	any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity ('en' language string)
rdfs:label	formal logic ('en' language string)
rdfs:label	mathematical logic ('en' language string)
rdfs:label	symbolic logic ('en' language string)
lvont:broader	lexvo:wordnet/30/noun/logic_1_09_01
lvont:label	lexvo:term/eng/formal%20logic
lvont:label	lexvo:term/eng/mathematical%20logic
lvont:label	lexvo:term/eng/symbolic%20logic
lvont:narrower	lexvo:wordnet/30/noun/Boolean_logic_1_09_00
lvont:narrower	lexvo:wordnet/30/noun/fuzzy_logic_1_09_00
lvont:narrower	lexvo:wordnet/30/noun/modal_logic_1_09_01
lvont:narrower	lexvo:wordnet/30/noun/predicate_calculus_1_09_00
lvont:narrower	lexvo:wordnet/30/noun/propositional_logic_1_09_00
lvont:nearlySameAs	http://purl.org/vocabularies/princeton/wn30/synset-symbolic_logic-noun-1
skos:note	This resource corresponds to the meaning of the gloss text. It shares its meaning with that of the synonym set rather than denoting the WordNet synset. ('en' language string)