English Fixed-point logic Cited by user Felix QW on 15 Feb 2022 In mathematical logic, fixed-point logics are extensions of classical predicate logic that have been introduced to express recursion.
English Finite model theory Cited by user Felix QW on 06 Feb 2022 Finite model theory is a subarea of model theory. Model theory is the branch of logic which deals with the relation between a formal language (syntax) and its…
English Model theory Cited by user Felix QW on 15 Jan 2022 In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about…
Portuguese Posto de quantificadores Cited by user Daniel.bmaranhao on 19 Feb 2015 Na lógica matemática, o posto de quantificadores de uma fórmula é a profundidade do aninhamento de seus quantificadores, desempenhando um papel essencial na teoria de…