About: Syntax (logic)

Property	Value
dbo:description	logica (nl) rules used for constructing or transforming the symbols of a formal language (en) règles utiliséees pour la construction de symboles et des mots d'un langage (fr) раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно (ru)
dbo:thumbnail	wiki-commons:Special:FilePath/Formal_languages.svg?width=300
dbo:wikiPageWikiLink	dbc:Philosophy_of_logic dbr:Abstraction dbr:Syntax_(programming_languages) dbc:Syntax_(logic) dbr:Peano_axioms dbr:Alphabet dbr:Consistency dbr:Expression_(mathematics) dbr:Set_(mathematics) dbr:Reference dbr:Formal_grammar dbr:Propositional_logic dbr:Formal_system dbr:Well-formed_formula dbr:Sentence_(mathematical_logic) dbc:Concepts_in_logic dbr:Logic dbr:Formal_language dbr:Metalanguage dbr:Tautology_(logic) dbr:Programming_language dbr:Truth dbc:Formal_languages dbr:Interpretation_(logic) dbr:Structure_(mathematical_logic) dbr:Formal_proof dbr:Axiom dbr:Computer_science dbr:Sentence_(linguistics) dbr:Syntax dbc:Metalogic dbr:Idea dbr:Truth_value dbr:Ontology dbr:Concept dbr:Mathematical_logic dbr:Symbol_(formal) dbr:Theorem dbr:Formation_rule dbr:Semantics dbr:String_(computer_science) dbr:Logical_constant dbr:Meaning_(linguistics) dbr:Type-token_distinction dbr:Formal_semantics_(logic) dbr:Predicate_logic dbr:Falsity dbr:Deductive_apparatus dbr:Gödel's_incompleteness_theorem dbr:File:Formal_languages.svg dbr:Truthbearer dbr:Transformation_rule dbr:Recursive_system
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:Logic dbt:Commons_category-inline dbt:Mathematical_logic dbt:Formal_languages dbt:Short_description
dct:subject	dbc:Philosophy_of_logic dbc:Syntax_(logic) dbc:Concepts_in_logic dbc:Formal_languages dbc:Metalogic
gold:hypernym	dbr:Anything
rdfs:label	Syntax (logic) (en) Syntaxe (logique) (fr) Syntaxis (logica) (nl) Sintaxe (lógica) (pt) Синтаксис (логика) (ru)
owl:sameAs	freebase:Syntax (logic) yago-res:Syntax (logic) wikidata:Syntax (logic) dbpedia-nl:Syntax (logic) dbpedia-fr:Syntax (logic) dbpedia-pt:Syntax (logic) dbpedia-fa:Syntax (logic) dbpedia-ru:Syntax (logic) dbpedia-hy:Syntax (logic) dbpedia-kk:Syntax (logic) dbpedia-mk:Syntax (logic) dbpedia-global:Syntax (logic)
prov:wasDerivedFrom	wikipedia-en:Syntax_(logic)?oldid=1279040823&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Formal_languages.svg
foaf:isPrimaryTopicOf	wikipedia-en:Syntax_(logic)
is dbo:wikiPageDisambiguates of	dbr:Syntax_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Logical_syntax dbr:Syntax_(formal_languages)
is dbo:wikiPageWikiLink of	dbr:List_of_formal_language_and_literal_string_topics dbr:Variable_(mathematics) dbr:Quantifier_(logic) dbr:Formalism_(philosophy_of_mathematics) dbr:Rule_of_inference dbr:List_of_philosophical_concepts dbr:Expression_(mathematics) dbr:Turnstile_(symbol) dbr:Metasearch_engine dbr:Description_logic dbr:Decidability_(logic) dbr:Proof_theory dbr:Satisfiability dbr:C++_classes dbr:Diagrammatic_reasoning dbr:Well-formed_formula dbr:Substitution_(logic) dbr:Index_of_philosophy_articles_(R–Z) dbr:IIf dbr:Index_of_logic_articles dbr:Syntax_(disambiguation) dbr:MIL-STD-130 dbr:De_Bruijn_notation dbr:Theory dbr:Pan_(genus) dbr:Logical_connective dbr:Logical_graph dbr:Symbol_(formal) dbr:Formation_rule dbr:Semantics dbr:Tarski's_axioms dbr:Outline_of_logic dbr:Logical_syntax dbr:Syntax_(formal_languages)
is foaf:primaryTopic of	wikipedia-en:Syntax_(logic)