OpenLLM-France/wikimedia huggingface dataset:
# Instituto de Patologia e Imunologia Molecular da Universidade do Porto

O Instituto de Patologia e Imunologia Molecular da Universidade do Porto (sigla: IPATIMUP) é uma instituição portuguesa sem fins lucrativos de utilidade pública dedicada à investigação nas ciências da saúde. É um Laboratório Associado da Universidade do Porto, desde 23 de Novembro de 2000, sendo chefiada pelo investigador Manuel Sobrinho Simões.
As grandes linhas de acção da instituição são: a prevenção e o diagnóstico precoce do cancro gástrico precoce ou lesões, diagnóstico e melhoria da qualidade da neoplasia maligna e lesões pré-malignas. Os inúmeros artigos publicados e resultados importantes relacionados ao cancro gástrico e esofagal, tornam este, uma das instituições de investigação relacionada com o cancro mais notáveis em Portugal e na Europa. Mas como uma instituição científico-pedagógica, os seus principais objetivos são:
* investigação na patologia humana, especificamente oncobiologia (cancro);
* formação de estudantes graduados, técnicos e especialistas em Patologia;
* compartilhar o conhecimento científico e pedagógico com a população geral;
* proporcionar conhecimentos técnicos sofisticados de diagnóstico e de investigação da Patologia, Oncobiologia e Genética.
# B.E.A.S.T.

Projecto: Animal, no original em inglês B.E.A.S.T., (acrônimo de Biological Evolutionary Animal Simulation Test, é um romance de ficção científica escrito por Charles Eric Maine lançado em 1967, e publicado em Portugal pela Colecção Argonauta com o número 140.

## Sinopse

Harland é um agente do Departamento de Serviços Especiais britânico. Incumbido de investigar o possível uso indevido de um computador de pesquisa numa instalação secreta de pesquisa genética, a U.I.8, ele descobre que o diretor da unidade, o Dr. Charles Howard Gilley, está conduzindo um projeto particular que visa a criação de uma inteligência artificial – o "Animal". Os problemas de Harland começam quando percebe que Gilley não está disposto a abrir mão de sua pesquisa não-autorizada – mesmo que tenha de matar para isso.

## Temas

B.E.A.S.T. é escrito como um technothriller de espionagem. Há o agente secreto (inglês), que, todavia, é mais um burocrata do que propriamente um James Bond, há uma bela mulher (uma loura sueca) com quem o protagonista terá de lidar para desvendar o mistério, e um cientista louco, cuja sanidade é rapidamente perdida ao longo da história. Enquanto o lado "suspense" da história diverte e prende a atenção, a parte "ficção científica" é bastante inverossímil e datada.

## Ficção e realidade

* Na época em que o romance foi escrito, computadores eram máquinas enormes e extremamente caras, utilizadas em regime de tempo compartilhado. Portanto, o uso indevido do computador era considerado uma forma de roubo especializado.
* Mesmo um modesto computador pessoal da atualidade possui uma capacidade de processamento milhares de vezes superior ao do computador descrito em B.E.A.S.T.. Até por esse fato, torna-se difícil dar algum crédito a ideia de simular um organismo vivo – e inteligente – na memória de uma máquina como a do livro.
* O desfecho de B.E.A.S.T. é ainda mais difícil de digerir, pois sugere uma ligação metafísica entre a inteligência artificial e as fitas magnéticas em que a mesma havia sido originalmente armazenada.
# Jeff Abbott

Jeff Abbott (1963) é um escritor do suspense dos Estados Unidos da América. É licenciado em História e Inglês na Rice University. Vive em Austin, Texas. Os seus primeiros romances eram de ficção tradicional com detectives, mas nos últimos anos virou-se para os romances policiais. O tema das suas obras tem a ideia, de pessoas normais serem apanhadas por um extraordinário perigo e terem de lutar para retornarem às suas vidas normais. Os livros foram publicados em diversos países, sendo os mais vendidos no Reino Unido, Austrália, Irlanda e França.

## Obras
### Os mistérios de Jordan Poteet

São os tradicionais romances de mistério, centrados à volta da excêntrica família de Jordan Poteet numa pequena cidade do Texas:
* Do Unto Others (Faz Aos Outros) (1994) - Vencedor dos Prémios Agatha e Macavity Award (dado pelo Ministério Internacional de Leitores) para melhor romance e nomeado para o Prémio Dilys dado pela Associação Independente de Histórias Policiais Mais Vendidos.
* The Only Good Yankee (1995) - Nomeado para a Liga de Escritores do "Texas Violet Crown Award" (Prémio da Coroa Violeta do Texas).
* Promises of Home (1996)
* Distant Blood (1996)

### Colecção The Whit Mosley

Mosley é um juiz do Texas e legista que faz uma parceria com a detective Claudia Salazar no county de Gulf Coast. Estes livros são mais negros e mais orientados para o thriller que os romances Poteet.
* Beijo Fatal - no original A Kiss Gone Bad (2001)--nomeado para o Anthony Award no Bouchercon XXXIII na categoria de "Melhor paperback original" .
* Black Jack Point (2002)--nomeado para o Edgar Award (oferecido pelo Mystery Writers of America),; o Anthony Award para "Melhor paperback original"; and also for the Barry Award.$^[$
* Cut and Run (2003)--nomeado para o Edgar Award),

### Colecção Sam Capra

Capra é um agente brilhante da CIA que é tramado e perde tudo o que lhe é importante. Passa a usar as suas habilidades para ajudar os desamparados, proteger os inocentes e perseguir os que lhe tiraram a sua família.
* Adrenaline (1 de Janeiro de 2010)
* The Last Minute (9 de Junho de 2011)
* Sam Capra's Last Chance (Curta) (22 de Maio de 2012)
* Downfall (16 de Julho de 2013)
* Inside man (2014) (1 de Julho de 2014)
* The First Order (2016)
* Traitor's Dance (2022)

### Livros isolados

* Panic (2005)--nomeado para o Thriller Award (oferecido pelo International Thriller Writers).$^[$ Panic
* Fear (2006)
* Collision (2008)--conhecido como Run no Reino Unido
* Trust Me (2009)
* Blame (2017)
* The Three Beths (2018)
* Never Ask Me (2020)
* An Ambush of Widows (2021)
# Acer kungshanense

Acer kungshanense é uma espécie de árvore do gênero Acer, pertencente à família Aceraceae.
# Cidade de Capitais

Cidade de Capitais (em inglês: City of Capitals, e em russo: Город Столиц) é um complexo multifuncional de dois arranha-céus, localizados na parcela 9 do Centro Comercial Internacional Cidade de Moscou em Moscou, na Rússia. O Complexo Cidade de Capitais simbolizam as cidades do Moscou e São Petersburgo, cujos nomes são dos dois arranha-céus do complexo, Edifício Moscou e o Edifício São Petersburgo. O Complexo foi finalizado em 2009, e o Edifício Moscou de 302 metros de altura, superou o Naberezhnaya Tower e se torna o mais alto arranha-céu da Europa.

## Dados técnicos

* Edifício Moscou - Contém 302 metros de altura (com a altura da antena, 306 metros de altura). Possui 73 andares, e é o maior arranha-céu de toda a Europa. Seu nome simboliza a cidade de Moscou.
* Edifício São Petersburgo - Contém 256 metros de altura, possui 62 andares, e seu nome simboliza a cidade de São Petersburgo.
* Complexo Cidade de Capitais
* Custo - UU$ 450 milhões de dólares
* Área total desportiva (fitness): 2 480 metros quadrados
* Área total ao público, incluindo restaurantes e cinemas: 10 800 metros quadrados
* Área total para escritório: 80 000 metros quadrados
* Área total de apartamentos: 101 440 metros quadrados
* Espaço para estacionamento: 2 000 vagas
# Sebastião de Abreu

Sebastião de Abreu (Serpa, 1713 – Urbania (Itália), 30 de novembro de 1792), entrou na Companhia de Jesus e foi professor de Ciências Matemáticas, Artes e Teologia Moral na Universidade de Évora. Foi desterrado para Itália em 1759.
# Mislav Kolakušić

Mislav Kolakušić (Zagreb, 15 de setembro de 1969) é um advogado e político croata. Desde de 2 de julho de 2019, é membro do Parlamento Europeu representado a Croácia, após ser eleito para o cargo na eleição parlamentar da Croácia de 2019. Anteriormente, atuou como juiz na Corte Comercial de Zagreb.

## Biografia
### Primeiros anos e educação

Mislav Kolakušić nasceu em Zagreb, capital da Croácia, no ano de 1969, cidade onde realizou os estudos básicos e o ensino médio. Kolakušić formou-se no curso de Direito na Universidade de Zagreb em 1997. Foi aprovado no exame da associação profissional de advogados da Croácia em 2000.

### Carreira profissional

Kolakušić trabalhou como estagiário na Corte Comercial de Zagreb entre os anos de 1998 e 2000. De 2001 a 2005, Kolakušić trabalhou no departamento financeiro de trabalho do Tribunal Administrativo da República da Croácia e entre 2005 a 2011 como advogado sênior no mesmo tribunal. Desde 2011 atua como juiz na Corte Comercial de Zagreb, onde iniciou como estagiário.
Kolakušić também atuou como porta-voz do Alto Tribunal Administrativo da República da Croácia de 2009 a 2011, bem como o Interlocutor de Relações Trabalhistas do mesmo tribunal de 2005 a 2011. Foi o presidente da Associação Croata de Consultores Judiciais e Estagiários de 2006 a 2011. Em 2017, foi candidato a juiz da Corte Constitucional da Croácia, mas não foi eleito.

## Política
### Eleições parlamentares europeias de 2019

Nas eleições parlamentares europeias da Croácia no ano de 2019 foi eleito para o Parlamento Europeu.
Kolakušić é membro da Comissão dos Orçamentos do Parlamento e da Comissão dos Assuntos Jurídicos e suplente da Comissão das Liberdades Cívicas, da Justiça e dos Assuntos Internos.

### Candidatura presidencial

Um dia após as eleições para o Parlamento Europeu de 2019, em 29 de maio, Kolakušić anunciou que concorrerá às eleições presidenciais croatas de 2019. Em 29 de novembro, ele apresentou cerca de 15.000 assinaturas à Comissão Estadual Eleitoral, para viabilizar sua candidatura.
Kolakušić recebeu 111.916 votos, totalizando pouco mais 5% dos votos, terminando em quinto lugar, não indo para o segundo turno. A eleição foi vencida por Zoran Milanović do Partido Social-Democrata da Croácia que superou Kolinda Grabar-Kitarović da União Democrática Croata.

### Posições políticas

Uma de suas principais bandeiras é a anticorrupção. Durante a Pandemia de COVID-19 na Croácia, permaneceu contrário a instituição de passaportes sanitários no país, indo em manifestações contrárias ao passaporte.
Milita pela não necessidade de filiação à partido políticos, defendendo candidaturas independentes à cargos eletivos.
# Mislođin

Mislođin (em cirílico:Мислођин) é uma vila da Sérvia localizada no município de Obrenovac, pertencente ao distrito de Belgrado, na região de Posavina. A sua população era de 2450 habitantes segundo o censo de 2009.

## Demografia

Evolução demográfica :
| 1948 | 1953 | 1961 | 1971 | 1981 | 1991 | 2002 |
| 1 206 | 1 260 | 1 305 | 1 395 | 1 834 | 2 151 | 2 313 |
# Microberlinia bisulcata

Microberlinia bisulcata é uma espécie vegetal da família Fabaceae.
Apenas pode ser encontrada nos Camarões.
Os seus habitats naturais são: florestas secas tropicais ou subtropicais .
Está ameaçada por perda de habitat.
# Microbiologia industrial

Microbiologia industrial ou biotecnologia microbiana é o âmbito da microbiologia orientado à produção de elementos de interesse industrial mediante processos nos quais intervenha, em algum passo, um microorganismo. Por exemplo, a produção de: alimentos (fermentação do vinho, pão ou cerveja) e suplementos (como os cultivos de algas, vitaminas ou aminoácidos); biopolímeros, como o xantano, alginato, celulosa, ácido hialurónico, polihidroxialcanatos; biorremediação de meios contaminados ou tratamento de esgoto; bem como a produção de princípios ativos de interesse em medicina, como a insulina e hormona do crescimento ou de substâncias implicadas no diagnóstico, como as polimerases empregadas em PCR quantitativa.
# Sebya, Mahal Kita

Sebya, Mahal Kita é uma telenovela filipina produzida e exibida pela ABS-CBN, cuja transmissão ocorreu em 1990.
# Sebóctes

Sebóctes (emgrego:Σεβόχτηςromaniz.:Sebóchtēs) foi um oficial persa cristão do século VI, ativo sob o xá Cosroes I (r. 531–579). Na primavera de 572, foi enviado à Constantinopla para exigir do imperador Justino II (r. 565–578) o ouro devido à Pérsia sob os termos da Paz de 50 anos ao fim dos primeiros 10 anos. Ao chegar, Justino não estava cooperativo e inclinado a recomeçar a guerra, mesmo embora tenha tentado dissuadi-lo. A data foi após a eclosão da revolta armênia de Vardanes III Mamicônio, mas antes das tropas bizantinas sob o general Justiniano se envolvessem em hostilidades ativas.
# Milford (Kansas)

Coordenadas: 39° 10' 24" N 96° 54' 41" O
Milford é uma cidade localizada no estado americano de Kansas, no Condado de Geary.

## Demografia

Segundo o censo americano de 2000, a sua população era de 502 habitantes. Em 2006, foi estimada uma população de 434, um decréscimo de 68 (-13.5%).

## Geografia

De acordo com o United States Census Bureau tem uma área de 0,4 km², dos quais 0,4 km² cobertos por terra e 0,0 km² cobertos por água.

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 20 km ao redor de Milford.
# Milford (Utah)

Coordenadas: 38° 23' 41" N 113° 0' 50" O
Milford é uma cidade localizada no estado norte-americano de Utah, no Condado de Beaver.

## Demografia

Segundo o censo norte-americano de 2000, a sua população era de 1451 habitantes. Em 2006, foi estimada uma população de 1441, um decréscimo de 10 (-0.7%).

## Geografia

De acordo com o United States Census Bureau tem uma área de 5,0 km², dos quais 5,0 km² cobertos por terra e 0,0 km² cobertos por água.

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 64 km ao redor de Milford.
# Milford (Missouri)

Coordenadas: 37° 35' 7" N 94° 9' 28" O
Milford é uma vila localizada no estado americano de Missouri, no Condado de Barton.

## Demografia

Segundo o censo americano de 2000, a sua população era de 52 habitantes. Em 2006, foi estimada uma população de 54, um aumento de 2 (3.8%).

## Geografia

De acordo com o United States Census Bureau tem uma área de 0,1 km², dos quais 0,1 km² cobertos por terra e 0,0 km² cobertos por água. Milford localiza-se a aproximadamente 281 m acima do nível do mar.

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 24 km ao redor de Milford.
# Sapphire Ventures

A Sapphire Ventures é uma empresa de capital de risco baseada no Vale do Silício que investe em empresas de tecnologia em estágio de crescimento, fundos de venture capital em todo o mundo.

## Empresa

Originalmente iniciado em 1996 como o braço de capital de risco da SAP SE, era conhecido como SAP Ventures. Ele se separou da matriz em 2011 e foi renomeado para a Sapphire Ventures em 2014. A SAP SE agora é um parceiro limitado na empresa e seus laços são usados para investir em empresas que trabalham no ecossistema de software corporativo. Em setembro de 2016, a empresa administrava mais de 2,5 bilhões de dólares, e opera nos Estados Unidos, Europa, Israel e Índia.
Em março de 2019, a empresa anunciou o SV Explorer, uma plataforma on-line gratuita para conectar executivos de TI corporativos a fornecedores de tecnologia emergentes no ecossistema de inicialização.
Em 28 de janeiro de 2019, a empresa anunciou o lançamento do Sapphire Sport, um veículo de investimento de 115 milhões de dólares focado em empresas de tecnologia em estágio inicial na intersecção entre esporte, mídia e entretenimento. Os investidores da Sapphire Sport incluem: o City Football Group, a AEG, a Adidas AG, a Major League Baseball, o San Jose Sharks, o Sinclair Broadcast Group Inc. e outros.
Em 24 de março de 2015, a empresa, juntamente com os gigantes da indústria Cisco Systems, Inc. e Siemens, foi co-anfitriã da primeira cúpula da indústria da Internet das Coisas, chamada "IoT: Empowering The Enterprise" em San Jose, Califórnia. O vídeo do evento está disponível online. O evento foi anunciado como "conectando investidores, startups, tecnólogos e executivos da Fortune 1000 para explorar a IoT na empresa".
Em um estudo independente divulgado em 29 de julho de 2015, a CB Insights reconheceu a Sapphire Ventures como Top 5 VC com base na participação em grandes saídas de tecnologia. Especificamente, o CB Insights Report compilou uma lista de VCs com pelo menos cinco das 100 principais saídas no período que começa no primeiro trimestre de 2013 e termina no segundo trimestre de 2015, e classificou cada VC de acordo com quantas dessas saídas estavam envolvidas. A Sapphire Ventures ficou na 4.ª posição, com dez dessas saídas em seu crédito, atrás da Accel Partners, da New Enterprise Associates e da Sequoia Capital.

## Investimentos

Desde 1996, a Sapphire Ventures já investiu em mais de 130 empresas em dez países. Em setembro de 2018, o projeto da empresa levantou 45 milhões de dólares em financiamento de capital de risco.
# Sapporo Dome

Coordenadas: 43.015° N, 141.409° E
O Sapporo Dome (em japonês: 札幌ドーム, Sapporo Dōmu) é um estádio localizado em Sapporo, na ilha de Hokkaido, norte do Japão.
Inaugurado em Março de 2001, com 42.122 lugares, é utilizado em jogos de baseball e futebol. Sediou 3 partidas da 1ª Fase da Copa do Mundo de 2002.
Ficou conhecido pelo seu sistema onde o gramado se movimenta para fora do estádio (semelhante ao University of Phoenix Stadium nos EUA e a Veltins-Arena na Alemanha).
O Sapporo Dome tem dois gramados: um artificial e fixo (para jogos de baseball) e um natural e móvel (para jogos de futebol).
Os times mandantes do estádio são o Hokkaido Nippon Ham Fighters de beisebol que disputa a NPB e o Consadole Sapporo de futebol que disputa a J. League.
Recebeu as partidas eliminatórias do futebol nos Jogos Olímpicos de Verão de 2020.

## Jogos da Copa do Mundo de 2002

* 1 de Junho: Grupo E Alemanha 8 - 0 Arábia Saudita
* 3 de Junho: Grupo G Itália 2 - 0 Equador
* 7 de Junho: Grupo F Argentina 0 - 1 Inglaterra

## Galeria

* Exterior do estádio
* Gramado retrátil no exterior do estádio
* Configuração para futebol
* Configuração para rugby
* Configuração para beisebol
# Miguel Penteado

Miguel Penteado (Charqueada, 1918 - ???) foi um editor e artista brasileiro de histórias em quadrinhos. Na década de 1950 ilustrou diversas capas de gibis de terror para a editora La Selva. Ele também foi um dos organizadores da 1ª Exposição Internacional de Histórias em Quadrinhos, inaugurada em 18 de junho de 1951.
Em 1959, fundou com Jayme Cortez e editora Continental (depois editora Outubro e, por fim editora Taíka), responsável, entre outras coisas, pela estreia de Mauricio de Sousa nas bancas com a revista Bidu. Ainda na década de 1960, articulou com outros artistas o movimento pela nacionalização dos quadrinhos, que envolvia um projeto de Lei apresentado para o então presidente Jânio Quadros, que obrigaria as editoras a publicar dois terços de produção nacional de gibis. Depois de se afastar da editora que fundara, Miguel Penteado criou a Gráfica e Editora Penteado (GEP), que lançou diversas revistas da Marvel Comics no Brasil a partir de 1968. A editora também investiu em produção nacional, com títulos de guerra, terror, humor, infantis e super-heróis, como Fantar, Pele de Cobra, SuperArgo, e o mais famoso de todos: Raio Negro, de Gedeone Malagola. Foi o título que durou mais tempo e foi fenômeno de popularidade à época.
Por suas contribuições para os quadrinhos basileiros, Miguel Penteado foi homenageado com o Troféu HQ Mix de 1998, na categoria Grande Mestre.
# Mido

Mido é uma povoação portuguesa do Município de Almeida que foi sede da extinta Freguesia de Mido, freguesia que tinha 9,41 km² de área e 52 habitantes (2016), e, por isso, uma densidade populacional de 7,4 hab/km².
A Freguesia de Mido foi extinta em 2013, no âmbito de uma reforma administrativa nacional, tendo sido agregada às freguesias de Leomil, Senouras e Aldeia Nova, para formar uma nova freguesia denominada União das Freguesias de Leomil, Mido, Senouras e Aldeia Nova com sede em Mido.

## População

★ No censo de 1864 figura no concelho de Sabugal. Passou para o actual concelho (município) por decreto de 07/12/1870
Totais e grupos etários :
| | 1864 | 1878 | 1890 | 1900 | 1911 | 1920 | 1930 | 1940 | 1950 | 1960 | 1970 | 1981 | 1991 | 2001 | 2011 |
| | 217 | 254 | 244 | 255 | 216 | 198 | 208 | 224 | 235 | 223 | 126 | 105 | 83 | 59 | 46 |
| i) | | | | | | | | | | | | | | 2 | 0 |
| ii) | | | | | | | | | | | | | | 1 | 2 |
| iii) | | | | | | | | | | | | | | 21 | 11 |
| iv) | | | | | | | | | | | | | | 35 | 33 |
i) 0 aos 14 anos; ii) 15 aos 24 anos; iii) 25 aos 64 anos; iv) 65 e mais anos

## Património

* Edificado:
** Fonte da Aldeia (Mergulho) - século XVIII/ XIX;
** Pequenos núcleos de Arquitectura Popular residencial e agrícola
** Ponte de S. Roque - século XIX/XX.
* Religioso:
** Igreja Matriz - século XVIII/XIX;
** Capela de S. Roque - século XVIII;
** Calvário - século XVIII/XIX;
* Arqueológico e Etnográfico:
** Lagar escavado na rocha no sítio da Lapa do Martinho - Período Romano;
** Sepultura Antropomórfica cavada na rocha no sítio da Vinha da Igreja - Medieval;
** Ruínas de Moinhos de água com açude no Rio Côa
# Mikko Lehtonen

Mikko Lehtonen (Turku, 16 de janeiro de 1994) é um jogador de hóquei no gelo finlandês. Atualmente joga pelo SKA São Petersburgo da Kontinental Hockey League (KHL).
Lehtonen fez sua estreia na SM-liiga jogando com o TPS durante a temporada 2011-12. Para a temporada 2015-2016, mudou-se para a equipe KooKoo por um contrato de dois anos. Ele fez sua descoberta na liga e fez todas as 60 rodadas regulares. Nos Jogos Olímpicos de Inverno de 2022 em Pequim, conquistou a medalha de ouro no torneio masculino.
# Semântica Prova-Teórica

Semântica prova-teórica é uma abordagem para a semântica da lógica que tenta localizar o significado de proposições e conectivos lógicos não em termos de interpretações, como em abordagens tarskianas para semântica, mas no papel que a proposição ou os conectivos lógicos têm dentro do sistema de inferências.
Gerhard Gentzen é o criador da semântica prova-teórica, fornecendo sua base formal na sua abordagem à eliminação por corte para o cálculo de sequentes, e algumas observações filosóficas provocativas sobre como localizar o significado de conectivos lógicos em suas regras de introdução dentro de dedução natural. A história dos teóricos da semântica prova-teórica desde então tem se dedicado a explorar as conseqüências dessas ideias.
Dag Prawitz estendeu a noção de prova analítica de Gentzen para a dedução natural, e sugeriu que o valor de uma prova na dedução natural pode ser entendido como a sua forma normal. Esta ideia é a base do isomorfismo de Curry-Howard, e da teoria intuicionistica de tipos. Seu princípio de inversão está no cerne da maioria das abordagens modernas à semântica prova-teórica.
Michael Dummett introduziu a ideia muito fundamental da harmonia lógica, montada a partir de uma sugestão de Nuel Belnap. Resumidamente, uma linguagem, que é entendida como sendo associada com certos padrões de inferência, tem harmonia lógica se é sempre possível recuperar provas analíticas de demonstrações arbitrárias, como pode ser mostrado para o cálculo sequente por meio dos teoremas de eliminação do corte, e para dedução natural por meio de teoremas de normalização. Uma linguagem que carece de harmonia lógica irá sofrer com a existência de formas incoerentes de inferência: ela provavelmente vai ser inconsistente.

## Referencias

* Proof-Theoretic Semantics, at the Stanford Encyclopedia of Philosophy
* Logical Consequence, Deductive-Theoretic Conceptions, at the Internet Encyclopedia of Philosophy.
* Nissim Francez, "On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics", Logica Universalis 9, 2015. doi:10.1007/s11787-015-0118-8
* Thomas Piecha, Peter Schroeder-Heister (eds), "Advances in Proof-Theoretic Semantics", Trends in Logic 43, Springer, 2016.
# Mishná Brurá

Mishná Brurá (do hebraico משנה ברורה, Ensino esclarecido) é uma obra sobre a halachá escrita pelo rabino Yisrael Meir Kagan, também conhecido como Chofetz Chaim. Trata-se de um comentário sobre Orach Chayim, a primeira seção do Shulchan Aruch, resumindo as opiniões dos Acharonim (autoridades rabínicas pós-medievais) sobre este texto.