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) ➜
Word forms
- en formal systems (n) ➜
Links to other resources
- en.wiktionary.org formal system