en formal system

An English term in ConceptNet 5.8

Source: English Wiktionary
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Related terms

  • en antimatroid (n) ➜
  • en automaton (n) ➜
  • en deontic logic (n) ➜
  • en axiom ➜
  • en formal language ➜
  • en inference rule ➜
  • en logical calculus (n) ➜
  • en logical system (n) ➜
  • en löb's theorem (n) ➜
  • en modal logic (n) ➜
  • en polymorphism (n) ➜
  • en propositional logic (n) ➜
  • en second order logic (n) ➜

Synonyms

  • de formales system ➜
  • el τυπικο συστημα ➜
  • en logic ➜
  • en logical calculus ➜
  • en logical system ➜
  • fa سیستم صوری ➜
  • ja 形式体系 ➜
  • ja 形式的体系 ➜
  • nl formeel systeem ➜
  • ru формальная система ➜
  • en logic (n) ➜
  • en logical calculus (n) ➜

Parts of formal system

  • en axiom ➜
  • en axiom (n) ➜
  • en formal language ➜
  • en formal language (n) ➜
  • en inference rule ➜
  • en inference rule (n) ➜
  • en semantics ➜
  • en syntax ➜
  • en theory ➜
  • en theory (n) ➜

Word forms

  • en formal systems (n) ➜

Derived from

  • en formal (a) ➜

Context of this term

  • en logic ➜

Links to other resources

  • en.wiktionary.org formal system
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.