formal system
any well-defined system of abstract thought based on the model of mathematics
type theory
concept in mathematical logic and computer science
type system
set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules
Hoare logic
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
lambda calculus
formal system in mathematical logic
Situation calculus
logic formalism
formal language
set of strings of symbols that may be constrained by rules that are specific to it; words whose letters are taken from an alphabet and are well-formed according to a specific set of rules
logical system
type of system
axiomatic system
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems