OpenLLM-France/wikimedia huggingface dataset:
# Dernancourt

Dernancourt é uma comuna francesa na região administrativa de Altos da França, no departamento de Somme. Estende-se por uma área de 6,63 km². Em 2010 a comuna tinha 567 habitantes (densidade: 85,5 hab./km²).
# Diego Ibarra

Diego Ibarra é um município da Venezuela localizado no estado de Carabobo.
A capital do município é a cidade de Mariara.
* Portal da geografia
* Portal da Venezuela
# Dina Salústio

Dina Salústio (Santo Antão,1957), é uma antiga jornalista, professora e premiada escritora cabo-verdiana. Considerada a primeira mulher a escrever um romance em Cabo Verde e é membro fundador da Academia Cabo-verdiana de Letras. Foi por duas vezes distinguida pelo Governo de Cabo Verde, primeiro com a Medalha de Mérito Cultural e depois com a 1ª Classe da Medalha do Vulcão.

## Biografia

Dina Salústio é o pseudónimo adoptado por Bernardina de Oliveira Salústio, que nasceu em Cabo Verde na ilha de Santo Antão em 1941. Viveu e trabalhou como jornalista, professora e assistente social em vários países, nomeadamente Angola, Portugal e Cabo Verde, onde chegou a trabalhar no Ministério dos Assuntos Exteriores.
Tem 53 anos quando em 1994, lança a sua primeira obra, o livro de contos Mornas Eram as Noites. Quatro anos mais tarde, publica o romance A Louca de Serrano que é considerada a primeira obra de ficção escrita por uma mulher em Cabo Verde.
Em 2013, ao lado de outras personalidades cabo-verdianas funda a Academia Cabo-verdiana de Letras.

## Prémios e Reconhecimento

O seu livro Mornas eram as Noites, foi distinguido com o Prémio de Literatura Infantil de Cabo Verde em 1994 e o Prémio de Literatura Infantil dos PALOP em 1999.
O Governo de Cabo Verde, condecorou-a com a Medalha de Mérito Cultural em 2005 e cinco anos mais tarde com a 1ª Classe da Medalha do Vulcão.
Foi galardoada com o Prémio Rosalía de Castro do Centro Pen Galiza em 2016. Dois anos mais tarde, a tradução do seu livro A Louca de Serrano, ganhou o Prémio Pen Reino Unido de Tradução de 2018.
Na gala da RDP África de 2021, é distinguida com o Prémio Prestigio na categoria Literatura.
Recebeu em 2022, o Prémio Literário Guerra Junqueiro, atribuído pelo Freixo Festival Internacional de Literatura (FFIL) que se realiza em Portugal no concelho de Freixo de Espada à Cinta que em edições anteriores premiou escritores como Abdulai Sila, Luís Carlos Patraquim, Vera Duarte Pina e Xanana Gusmão. No mesmo ano foi homenageada pela Academia Cabo-verdiana de Letras que ajudou a fundar.

## Obras Seleccionadas

Escreveu as obras:
1994 - Mornas Eram as Noites (colectânea de contos), editado pelo Instituto Camões, ISBN 972-566-198-2
1998 - A Louca de Serrano (romance), edições Spleen
1998 - A Estrelinha Tlim Tlim, com ilustrações de Júlio Resende, editado pelo Centro Cultural Português da Praia-Mindelo
2001 - Violência Contra as Mulheres (estudo)
2002 - Que os olhos não vêem, co-autora Marilene Pereira, Instituto Camões Centro Cultural Português da Praia
2009 - Filhas do Vento, Instituto da Biblioteca Nacional e do Livro de Cabo Verde
2018 - Filhos de Deus: contos e monólogos, Biblioteca Nacional de Cabo Verde
2019 - Veromar, editora Rosa de Porcelana, ISBN: 978-989-896-106-8
# Dina Nath Walli

Dina Nath Walli (1908 - Caxemira - 2006) foi um artista plástico indiano. Proeminente pintor de aquarelas do século XX.$^[$
# Dina Rae

Dina Rae, também conhecida por Track 13 Girl, (Los Angeles, 1978) é uma cantora de R&B estadunidense. A cantora colaborou em diversas músicas do cantor e compositor estadunidense Eminem como Superman, Cum On Everybody, Drug Ballad, Renegades e We Made You, faixa 13 (The Slim Shady LP). Em 2004 gravou pela Motown Records o single "And".Cantou também com o cantor King Lil G,uma música chamada gravada em 2012
# Dia Internacional Nelson Mandela

Dia Internacional Nelson Mandela (ou Dia de Mandela) é uma comemoração internacional instituída pela Assembleia Geral da Organização das Nações Unidas em novembro de 2009, a ser comemorado em todos os anos 18 de julho, data de nascimento do líder sul-africano Nelson Mandela.
Por meio da Resolução A/RES/64/13 a ONU, com o consenso de 192 países membros, homenageia a dedicação de Mandela a serviço da humanidade, pela resolução de conflitos, pela relação entre as raças, promoção e proteção dos direitos humanos, a reconciliação, igualdade de gêneros e direitos das crianças e outros grupos vulneráveis, e ainda pelo desenvolvimento das comunidades pobres ou subdesenvolvidas.
Com esta data os países-membros reconhecem sua contribuição pela democracia internacional e a promoção da cultura da paz através do mundo.
“Nós podemos mudar o mundo e torná-lo um lugar melhor. Está em nossas mãos fazer a diferença” - Nelson Mandela
# Dia Internacional contra Testes Nucleares

O Dia Internacional contra Testes Nucleares é um dia comemorado em 29 de agosto desde 2010, oficialmente instituído em 2009 pela Assembleia Geral das Nações Unidas.

## Proclamação

O Dia Internacional contra Testes Nucleares foi proclamado em 2 de dezembro de 2009, pela Assembleia Geral das Nações Unidas, proposta pela República do Cazaquistão. Seu objetivo é enfatizar a necessidade de pôr fim aos testes nucleares devido aos seus efeitos devastadores sobre a vida humana e o meio ambiente.

## Celebração

Esse dia é celebrado em 29 de agosto. A data foi escolhida para comemorar o fechamento do polígono de testes nucleares de Semipalatinsk em 1991, no Cazaquistão. A primeira comemoração ocorreu em 2010. Desde então, várias atividades foram organizadas em todo o mundo, incluindo simpósios, conferências, exposições, concursos, publicações, programas de televisão e rádio.
Em outubro de 2013, a Assembleia Geral das Nações Unidas declarou o dia 26 de setembro como o Dia Internacional para a Eliminação Total das Armas Nucleares. Essa iniciativa busca incentivar os esforços internacionais para eliminar as armas nucleares. A primeira comemoração desse dia foi em 2014 e contribuiu para criar um ambiente favorável para um mundo sem armas nucleares.
Apesar dos esforços, o Tratado de Interdição Completa de Ensaios Nucleares (CTBT), adotado em 1996, ainda não entrou em vigor. O Secretário-Geral da ONU, em seu programa de desarmamento “Garantindo nosso futuro comum”, lançado em maio de 2018, enfatizou a importância desse tratado para conter a corrida armamentista nuclear e garantir sua conformidade ao nível internacional.
# Lee Chang-min

Lee Chang-min (20 de janeiro de 1994) é um futebolista profissional sul-coreano que atua como defensor, atualmente defende o Jeju United.

## Carreira

Lee Chang-min fez parte do elenco da Seleção Sul-Coreana de Futebol nas Olimpíadas de 2016.
# Patricia Kraus

Patricia Kraus (Milão, 1964-) é uma cantora espanhola.

## Biografia

Nasceu em Milão (Itália), porque o seu pai o tenor Alfredo Kraus, estudava naquela cidade. Começou a sua formação vocal aos 9 anos de idade, mais tarde ampliaria na lírica clássica com a ajuda da soprano Lina Huarte e o seu pai. Patrícia desviou-se para a música pop e rock. Começou a ser conhecida do grande público, por ter participado no Festival Eurovisão da Canção 1987, representando a Espanha com a canção "No estás solo", com letra dela e com música composta por Rafael Martínez e Rafael Trabuchelli, que alcançou o 19.º lugar e 10 pontos concedidos pelo júri da Grécia.
Nos finais dos anos 90 enveredou por um projeto de música eletrónica e experimental com Daniel Assante con ele publicou dois discos que não tiveram grande sucesso comercial. Em 1999, fundou, juntamente com Juan Belda e Juan Gómez Acebo, o grupo Wax beat, que editou dois discos. Participou como professorana edição de 2006 da Operação Triunfo espanhola Em 2007 lançou um disco intitulado "Alma".

## Discografia
### Solo

** Patricia Kraus (Zafiro, 1987)
** De animales y de selva (WEA, 1989)
** El eco de tu voz (Alía Discos, 1991)
** Batería y voz en dos movimientos (Alía Discos, 1996)
** Atlanterra (Alía Discos, 1998)
** I am (1998)
** Alma (Factoría Autor, 2007)

### Com Wax beat

** Lava's lamp (2000)
** Go outside and play (Boa Records, 2003)

## Fontes e ligações externas

* (em castelhano) Informações sobre a cantora
# Robert Lynch Wilbur

Robert Lynch Wilbur (1925 - 31 de outubro de 2022) foi um botânico norte-americano, professor emérito da Duke University que se destacou pelo estudo das floras da Costa Rica e do sueste dos Estados Unidos da América e da taxonomia e nomenclatura diversos grupos de plantas, entre os quais as Ericaceae, Gentianaceae, Campanulaceae, Cistaceae e Myricaceae. Foi estudante doutoral de Rogers McVaugh na Universidade de Michigan.
A abreviatura padrão Wilbur é usada nas citações.
# Étienne Pardoux

Étienne Pardoux (1947) é um matemático francês, que trabalha na área da cálculo estocástico, em particular equações diferenciais parciais estocásticas. É professor da Universidade de Aix-Marselha.
Obteve um doutorado em 1975 na Universidade Paris-Sul, orientado por Alain Bensoussan e Roger Temam.
Juntamente com Peng Shige fundou a teoria das equações diferenciais estocásticas retrógradas.
Foi palestrante convidado do Congresso Internacional de Matemáticos em Zurique (1994: Backward Stochastic Differential Equations and Applications).
# Turiz

Turiz é uma povoação portuguesa sede da Freguesia de Turiz do Município de Vila Verde, freguesia com 3,00 km² de área e 1866 habitantes (censo de 2021), tendo, por isso, uma densidade populacional de 622 hab./km².

## Demografia

A população registada nos censos foi:
Distribuição da População por Grupos Etários :
| Ano | 0-14 Anos | 15-24 Anos | 25-64 Anos | > 65 Anos |
| 2001 | 297 | 267 | 666 | 155 |
| 2011 | 348 | 211 | 992 | 195 |
| 2021 | 287 | 243 | 1039 | 297 |

## História

Pertenceu ao extinto concelho de Larim. Em 1840 pertencia ao concelho de Vila Chã e Larim. Quando este foi extinto pelo decreto de 24 de Outubro de 1855, passou para o concelho de Vila Verde.

## Personalidades

Manuel Joaquim Machado Rebelo, mais conhecido por Abade de Priscos, (29 de Março de 1834 (Turiz) - 24 de Setembro de 1930 (Vila Verde)), Abade católico e Gastrónomo português que se destacou pelas suas famosas receitas de culinária, especialmente a do Pudim abade de Priscos. Foi, segundo vários cozinheiros, um dos maiores cozinheiros portugueses do século XIX.

## Lugares

Além da sede a Freguesia compreende ainda as seguintes localidades: Aldeia, Araújo, Arca, Areosa, Barral, Carvalhais, Cimo de Vila, Cruzeiro, Fonte Covas, Gândara, Lameira, Penedos Altos, Pombal, Ramada, Regueiras, Ribeiro, São Simão, Souto, Telheirinhas e Torre.
# Magul

Magul é uma localidade no Distrito de Bilene, Província de Gaza, Moçambique, onde a 8 de Setembro de 1895 se travou um recontro entre as forças coloniais portuguesas e as forças ronga do Império de Gaza comandadas por Ngungunhyane. O combate, parte das Campanhas de Conquista e Pacificação da política colonial portuguesa de finais do século XIX. O local situa-se numa extensa planície do Posto Administrativo de Messano e nele foi erguida em pedestal uma placa comemorativa que evocava os actos dos portugueses, substituída após a independência de Moçambique por um pedestal onde está afixada uma placa que homenageia guerreiros moçambicanos que morreram na luta de resistência contra a ocupação colonial.
# Maguzaua

Maguzaua (Maguzawa) são os hauçás que ainda aderem a alguns princípios das religiões tradicionais pré-islâmicas de Kano e Katsina, cidades no Norte da Nigéria. A maior parte dos cidadãos são encontrados nas zonas rurais próximas de Kano e Katsina. Eles são conhecidos por terem marcas visuais semelhantes aos primeiros nativos que governaram Kano e Katsina sob a linhagem Kutumbawa. Em termos de cultura, existem apenas duas grandes diferenças entre hauçás muçulmanos e o Maguzaua: a religião e a organização social.

## Sociedade

A agricultura era a principal ocupação dos Maguzauas, enquanto o pastoreio de gado foi deixado aos
fulas. Durante a estação seca, quando a atividade agrícola é baixa, os homens são envolvidos no tingimento, na metalurgia e na cestaria.
As mulheres Maguzaua eram conhecidas por mostrar uma posição independente na atividade econômica, em contraste com uma cultura harém, importada e presente em muitas outras famílias. Muitas esposas e escravas se dedicam ao comércio e utilizam os seus lucros para comprar roupas para si mesmas e para os seus filhos.
Em termos de uma organização sociopolítica, a maior parte das comunidades Maguzaua são compostas por unidades dispersas e, como os hauçás, são conduzidos por um Sarkin, quem é em grande parte da linhagem fula.
No entanto, comunidades predominante Maguzaua tenham três líderes culturais patrilineares. O Sarkin Noma, que é o chefe da exploração agrícola, o Sarkin Arna, conhecido como o cabeça dos pagãos e o Sarkin Dawa, o chefe do arbusto. Os dois últimos chefes ou Sarkins compartilham o poder igual. O Sarkin Arna normalmente é dado aos melhores bebedores de cerveja na comunidade, enquanto o defunto Sakin Dawa é ao melhor caçador na comunidade.

## Religião

A religião Maguzaua gira em torno de um número infinito de espíritos ou gênios em hauçá. Existem cerca de 3,000 espíritos na religião. No entanto, a dominância do Islão diluída na região tem a original significação dos espíritos como uma imposição islâmica canon.
# Malý Horeš

Malý Horeš (em húngaro: Kisgéres) é um município da Eslováquia, situado no distrito de Trebišov, na região de Košice. Tem 19,21 km² de área e sua população em 2018 foi estimada em 1.100 habitantes.
# Malý Újezd

Malý Újezd é uma comuna checa localizada na região da Boêmia Central, distrito de Mělník.
# Mamadeira

A mamadeira ou biberão é um objeto cuja função é servir como uma alternativa à amamentação natural do bebé, bem como um instrumento de auxílio para a alimentação geral do bebê em crescimento. A mamadeira é usada para armazenar líquidos (leite, suco, etc.). O uso da mamadeira não é recomendável como um substituto da amamentação natural, a não ser que a mãe possua alguma doença ou esteja tomando certos remédios que podem ser transmitidos pelo leite materno. A primeira mamadeira se chamava mamadeira vitoriana, apresentava formato circular, e o seu canudo não podia ser lavado, o que não era muito bom a questão da higiene.$^[$ Também pode ser utilizado na amamentação de outros mamíferos para além dos humanos.
O plástico rígido é o material mais comum utilizado, sendo transparente, leve e resistente à queda. Garrafas de vidro têm sido recomendadas por serem mais fáceis de limpar, menos propensas a reter resíduos das fórmulas e relativamente inertes quimicamente. Também foram desenvolvidas garrafas híbridas com plástico por fora e vidro por dentro. Outros materiais usados ​​para biberões incluem aço inoxidável de qualidade alimentar e borracha de silicone.
Os biberões podem ser usados para alimentar com leite liofilizado, fórmula infantil, ou solução para reidratação via oral. Uma revisão de 2020 relata que bebés a termo saudáveis, quando amamentados ou alimentados com biberão, "usam movimentos semelhantes da língua e da mandíbula, podem criar sucção e usar sequencialmente a compressão da tetina para obter leite, com diferenças mínimas na saturação de oxigénio e padrão de sugar-engolir-respirar). Bebés doentes ou prematuros podem não conseguir amamentar ou sugar o biberão eficazmente e podem precisar de cuidados especializados. A esterilização é uma prática padrão para prevenir o desenvolvimento de bactérias e doenças resultantes, que é mais eficaz do que a higienização. O governo australiano e as diretrizes do Serviço Nacional de Saúde do Reino Unido recomendam a esterilização de biberões e outros equipamentos usando uma solução esterilizante de água fria, como por fluido esterilizante Milton, ou por esterilização a vapor ou fervura. É importante limpar e esterilizar todas as partes de um biberão, incluindo recipientes, tetinas e tampas de rosca.
# Mamadou Bagayoko (1979)

Mamadou Bagayoko (Paris, 21 de maio de 1979) é um futebolista profissional franco-malinês que atua como atacante,

## Carreira

Mamadou Bagayoko representou o elenco da Seleção Malinesa de Futebol no Campeonato Africano das Nações de 2010.
# Manuale d'Amore

Manuale d'Amore é um filme italiano de 2005, dirigido por Giovanni Veronesi, com roteiro de Vincenzo Cerami e Ugo Chiti. Tem em seu elenco Carlo Verdone, Luciana Littizzetto e Silvio Muccino.

## Sinopse

Quatro casais vivem várias situações ligadas à crise no casamento, traição, paixão e abandono.
# Mamoru Shiragami

Mamoru Shiragami (em japonês: 白神 守; Taiwan, 28 de fevereiro de 1944) é um ex-jogador de voleibol do Japão que competiu nos Jogos Olímpicos de 1968.
Em 1968, ele fez parte da equipe japonesa que conquistou a medalha de prata no torneio olímpico, no qual jogou em todas as nove partidas.
# Língua molbog

Molbog é uma língua austronésia falada nas Filipinas e em Sabah, Malásia. A maioria dos falantes está concentrada no extremo sul da província filipina de Palauã, especificamente nos municípios de Bataraza e Balabac]]. Ambos os municípios são considerados baluartes da conservação ambiental da província. A maioria dos falantes de Molbog são muçulmanos.

## Classificação

A classificação de Molbog é controversa. Thiessen (1981) agrupa o Molbog com as linguas palavânicas], com base em inovações fonológicas e lexicais compartilhadas. Esta classificação é apoiada por Smith (2017). Uma visão alternativa é adotada por Lobel (2013), que coloca o Molbog junto com o Bonggi em um subgrupo de ínguas Molbog-Bonggi.

## Fonologia
### Consoantes

| | | Labial | Alveolar | Palatal | Velar | Glotal |
| Oclusiva | surda | p | t | | k | ʔ |
| Oclusiva | sonora | b | d | (dʒ) | ɡ | |
| Nasal | Nasal | m | n | (ɲ) | ŋ | |
| Fricativa | Fricativa | | s | | | h |
| Vibrante | Vibrante | | ɾ | | | |
| Lateral | Lateral | | l | | | |
| Aproximante | Aproximante | w | | j | | |
* Sons [dʒ, ɲ] ocorrem como resultado de empréstimos do espanhol, malaio ou dialetos da língua sama.
* /h/ ocorre apenas marginalmente. Embora geralmente tenha sido perdido em palavras herdadas, é retido em algumas palavras, por exemplo. luhaʔ 'lágrimas', provavelmente através de re-empréstimo.

### Vogais

| | Anterior | Central | Posterior |
| Fechada | i | | u |
| Medial | | | o |
| Aberta | | a | |

## Escrita

Como ocorre com a maioria das línguas filipinas, o alfabeto latino usado pelo Molbog usa poucas letras. Não se usam a letras E, C, F, Q, V, X, Z. Usam-se as formas Ng e Ny.
# Manuel Fernandes

Manuel José Tavares Fernandes (Sarilhos Pequenos, 5 de junho de 1951 – Lisboa, 27 de junho de 2024) foi um treinador e futebolista português que atuou como ponta de lança.

## Carreira
### Como jogador

Quando era pequeno e sua mãe o mandava para a cama, Manuel Fernandes escondia o rádio para ouvir os relatos dos jogos europeus do Sporting Clube de Portugal, às quartas-feiras à noite.
Aos 16 anos, Manuel Fernandes deslocou-se ao campo do Sarilhense, para realizar testes. Entrou para a equipa de juvenis e um ano mais tarde o treinador chamou-o para a equipa de honra do Sarilhense, que disputava o campeonato da 3ª divisão. Como fazia a ligação entre a linha média e o ataque, não podia fazer o que mais gostava, marcar golos.
No final da temporada, um olheiro do Barreirense convidou-o para ir jogar para a CUF, convite esse que aceitou. Fernandes passou um ano a marcar golos na equipa de reservas. Na época seguinte, com a substituição de treinador, a equipa da CUF tornou-se a equipa-revelação do Campeonato Português, classificando-se em quarto lugar. Com um golo de Manuel Fernandes, que derrotou o FC Porto, os cufistas garantiram uma participação histórica na Taça da UEFA.
Surgiram convites de Alvalade, das Antas e de Belém. Aceitou o convite que lhe foi feito pelo Sporting, pois lembrou-se da premonição da mãe, que lhe disse que ele haveria de jogar nos Leões, que era o clube de toda a família. O avançado entrou para a equipa em 1975, saindo em 1987.
Manuel Fernandes gostava de recordar dois momentos na sua carreira no Sporting: o facto de ter marcado um golo na vitória sobre a União de Leiria que deu o título na época de 1979–80 e ter marcado quatro golos no célebre jogo dos 7 a 1 sobre o Benfica, realizado a 14 de dezembro de 1986.

### Como treinador

Começou a carreira de treinador em 1988. Passou por clubes como Estrela da Amadora, Ovarense, Santa Clara e Penafiel.
Em novembro de 2008 foi contratado pela União Desportiva de Leiria, e conseguiu a promoção do clube ao principal escalão do futebol português. Em outubro de 2009, alegando razões pessoais, demitiu-se do cargo. Dias depois foi anunciado como novo treinador do Vitória de Setúbal.

## Morte

A 27 de junho de 2024, faleceu três dias após ter sido operado a um tumor.

## Palmarés
### Como jogador
#### Sporting

* Campeonato Português: 1979–80 e 1981–82
* Taça de Portugal: 1977–78 e 1981–82
* Supertaça Cândido de Oliveira: 1982

### Como treinador
#### Sporting

* Supertaça Cândido de Oliveira: 2000

### Prêmios individuais

* Bola de Prata: 1985–86 (30 golos)
# Mantella viridis

Mantella viridis é uma espécie de anfíbio da família Mantellidae.
É endémica de Madagáscar.
Os seus habitats naturais são: florestas secas tropicais ou subtropicais , rios, rios intermitentes e florestas secundárias altamente degradadas.
Está ameaçada por perda de habitat.
# Mantellinae

Mantellinae é uma subfamília de rã da família Mantellidae nativa de Madagáscar
# Mantenedora

Mantenedora é a pessoa jurídica de direito público ou privado ou pessoa física que provê os recursos necessários para o funcionamento de outras entidades ou incubadoras.
O Poder Executivo é a entidade Mantenedora das instituições públicas de ensino. As pessoas jurídicas de direito privado, Mantenedoras de Instituições de Ensino Superior, poderão assumir qualquer uma das formas admitidas em direito, de natureza civil ou comercial ou, ainda, poderão se constituir como fundações.
As Entidades Mantenedoras escolares, são os responsáveis pela instituição de ensino, quem administra a escola e quem comanda a mesma em sua parte "administrativa". As entidades escolares são concessões do poder público e por ele supervisionadas.
# Lógica da justificação

As lógicas da justificação são lógicas epistêmicas para raciocinar sobre justificação. Em algumas delas, especificamente nas desenvolvidas por Newton da Costa, dois operadores unários são adicionados à linguagem proposicional, J e J', para, respectivamente, representar as noções de justificação forte e justificação fraca. Em outras, apresentadas por Sergei Artemov, os operadores tradicionais (e.g. "□" para "necessidade" e "B" para "crença") dão lugar a uma coleção de termos, estruturas construídas para representar justificações, que se prefixam a fórmulas e dão origem a frases com a forma τ : φ (e leitura ‘τ é uma justificação para φ’).

## Motivações

Os formalismos de da Costa resultam de trabalhos levados com o objetivo de modelar o conhecimento científico. Na lógica e na matemática, subscreve, obtém-se conhecimento forte, enquanto nas demais ciências obtém-se conhecimento fraco. A diferença entre conhecimento forte e fraco é que, para este, tem-se apenas uma justificação fraca, enquanto, para aquele, tem-se justificação forte. Por sua vez, uma justificação é forte quando garante à proposição que justifica o status de verdade necessária, enquanto uma justificação fraca garante à proposição apenas o status de verdade contingente.
O primeiro sistema relatado por Artemov, a Lógica das Provas LP, resulta de um programa de pesquisa interessado em fornecer uma semântica de demonstrabilidade para a lógica intuicionista. Esse sistema é adequado para raciocinar apenas sobre justificações fortes. Desde aquele momento, entretanto, muitos outros sistemas de lógica da justificação foram relatados, muitos deles motivados pelo interesse de construir quadros adequados para o raciocínio sobre justificações fracas e a análise logicamente orientada de questões de epistemologia.