OpenLLM-France/wikimedia huggingface dataset:
# Plesiosoricidae

Os plesiosoricídeos (Plesiosoricidae Winge, 1917) eram uma família de mamíferos placentários pré-históricos da ordem (ou superordem, dependendo da classificação Insectivora, pertencendo aos subgrupos Lipotyphla ou Eulipotyphla, Soricomorpha, Soricota. Junto com os Nyctitheriidae e Soricidae formam a superfamília dos Soricoidea.
Os plesiosoricidae habitaram a América do Norte e a Eurásia, com fósseis encontrados entre o Eoceno inferior e o Mioceno superior. seus parentes vivos mais próximos são os musaranhos.

## Taxonomia

Segundo a classificação proposta por Lopatin, 2006
Família Plesiosoricidae Winge,1917
* Subfamília Butseliinae Quinet & Misonne, 1965
** Butselia Quinet & Misonne,1965 - Oligoceno Inferior, Europa.
*** Butselia biveri Quinet & Misonne,1965
** Pakilestes Russell & Gingerich, 1981 - Eoceno Médio, Paquistão.
*** Pakilestes lathrius Russell & Gingerich, 1981 - Eoceno Médio, Paquistão.
** Ordolestes Lopatin,2006 - Eoceno Inferior, Ásia
*** Ordolestes ordinatus Lopatin,2006 - Bumbaniano, Eoceno Inferior, Formação Naran-Bulak, Mongólia.
* Subfamília Plesiosoricinae
** Plesiosorex
** Meterix
** Ernosorex Wang & Li, 1990
*** Ernosorex jilinensis Wang & Li, 1990 - Eoceno Médio, China
# Prelazia Territorial de Huautla

A Prelazia Territorial de Huautla (em latim: Praelatura Territorialis Huautlensis) é uma prelazia da Igreja Católica localizada no município de Huautla de Jiménez, no estado de Oaxaca, pertencente a Arquidiocese de Antequera no México. Foi fundada em 8 de outubro de 1972 pelo Papa Paulo VI. Com uma população católica de 120.000 habitantes, sendo 89,6% da população total, possui 10 paróquias com dados de 2021.

## História

Em 8 de outubro de 1972 o Papa Paulo VI cria a Prelazia Territorial de Huautla através do território da Arquidiocese de Antequera. Em 1979 a Prelazia perde território para a formação da Diocese de Tuxtepec.

## Lista de prelados

A seguir uma lista de prelados desde a criação da prelazia em 1972.
| | Nome | Período | Notas |
| Prelados de Huautla ||||
| 4º | Guadalupe Antonio Ruíz Urquín | 2020 - atual | |
| 3º | José Armando Álvarez Cano | 2011 - 2019 | Nomeado bispo de Tampico |
| 2º | Héctor Luis Morales Sánchez | 2005 - 2011 | Nomeado bispo de Nezahualcóyotl |
| 1º | Hermenegildo Ramírez Sánchez, M.J. | 1975 - 2005 | |
| Administrador apostólico de Huautla ||||
| 1º | Hermenegildo Ramírez Sánchez, M.J. | 1972 - 1975 | Nomeado prelado dessa prelazia |
# Pluto (banda canadense)

Pluto foi uma banda canadense de rock alternativo de Vancouver, Canadá. A banda era constituída pelo vocalista e guitarrista Ian Jones, pelo guitarrista Rolf Hetherington, pelo baixista John Ounpuu e pelo baterista Justin Leigh.

## História

A banda Pluto foi formada em 1993 em Vancouver e esteve ativa até 1999.
Após ter lançado alguns singles independentemente, a banda lançou seu primeiro álbum, o Cool Way to Feel, em 1995 pela Mint Records. No ano seguinte, lançaram um EP de quatro músicas. Após isso, assinaram com a Virgin Records, com a qual lançaram dois álbuns.
Seu single Paste apareceu na primeira coletânea musical do Big Shiny Tunes. Uma performance ao vivo de sua música Failure, gravada no programa Night Lines da rádio CBC Radio 2 em 1994, também foi lançada em 2006 a coletânea Mint Records Presents the CBC Radio 3 Sessions.
A banda se reuniu brevemente no concerto do vigésimo aniversário da Mint Records, no Waldorf Hotel em 25 de novembro de 2011.

## Discografia
### Álbuns

* Cool Way to Feel (1995)
* Pluto (1996)
* Shake Hands with the Future (1998)

### EP's

* Cut and Paste (1996)

### Singles

| Ano | Música | Álbum |
| Ano | Música | Álbum | 1996 | Paste | Pluto |
| 1998 | | | 1996 | | Pluto |
| When She Was Happy | The Goodbye Girl | Shake Hands with the Future |
# Ploërdut

Ploërdut é uma comuna francesa na região administrativa da Bretanha, no departamento Morbihan. Estende-se por uma área de 75,5 km². Em 2010 a comuna tinha 1 239 habitantes (densidade: 16,4 hab./km²).
# Praça Sukhbaatar

A Praça Sukhbaatar (em mongol: Сүхбаатарын талбай; Sükhbaatariin Talbai) é a praça central da capital da Mongólia, Ulaanbaatar. A praça foi nomeada em homenagem ao herói revolucionário da Mongólia, Damdin Sükhbaatar, após sua morte em 1923. O nome da praça foi alterado para Praça Chinggis (em mongol: Чингисийн талбай; Chinggisiin Talbai) em 2013 em homenagem a Genghis Khan, considerado o pai fundador da Mongólia, mas o nome original foi restaurado em 2016. O centro da praça tem uma estátua de Damdin Sükhbaatar montado a cavalo, enquanto um grande monumento de colunata dedicado a Genghis Khan, bem como a Ögedei Khan e Kublai Khan, domina a face norte da praça diretamente em frente ao Palácio do Governo.
A praça é palco de grandes cerimônias do governo, como o desfile em homenagem ao Dia da Bandeira e ao Dia dos Soldados de Manutenção da Paz das Nações Unidas. Na praça também acontecem festividades, eventos culturais, concertos e exposições. Os chefes de estado visitantes geralmente prestam homenagens em frente à estátua de Sükhbaatar.

## Galeria

* Estátua de Damdin Sükhbaatar com o Palácio do Governo ao fundo.
* Palácio do Governo em frente à Praça Sükhbaatar depois da reforma de 2005.
* Dmitry Medvedev, o então presidente da Rússia, na Praça Sükhbaatar em agosto de 2009.
# Pontedassio

Pontedassio é uma comuna italiana da região da Ligúria, província de Impéria, com cerca de 1.999 habitantes. Estende-se por uma área de 14 km², tendo uma densidade populacional de 143 hab/km². Faz fronteira com Chiusanico, Chiusavecchia, Diano Arentino, Imperia, Lucinasco, Vasia.

## Demografia

* Variação demográfica do município entre 1861 e 2011
* Fonte: Istituto Nazionale di Statistica (ISTAT) - Elaboração gráfica da Wikipedia
# Pombal de Cadoxton Court

O Pombal de Cadoxton Court é um edifício listado como Grau I em Cadoxton, no Vale de Glamorgan, no sul do País de Gales. Tornou-se um edifício listado como Grau I no dia 18 de setembro de 1962. O aquarelista Thomas Frederick Worrall, que morou em Barry desde 1913, pintou uma vista da estrutura de um ponto de vista na Gladstone Road, por volta de 1930. Esta pintura está depositada na Biblioteca Nacional do País de Gales.
# Primeiro Consistório Ordinário Público de 1826
## Cardeais

| Nº | Nome | Idade | Cargo | Título ou Diaconia |
| Cardeais eleitores ||||||
| 1 | Jean-Baptist-Marie-Anne-Antoine de Latil | 65 | Arcebispo de Reims | Cardeal-presbítero de São Sisto |
| 2 | Francisco Javier de Cienfuegos e Jovellanos | 60 | Arcebispo de Sevilha | Cardeal-presbítero de Santa Maria do Povo |
| Revelado In Pectore ||||||
| 3 | Ludovico Micara , O.F.M.Cap. | 50 | Ministro-Geral da Ordem dos Frades Menores Capuchinhos | Cardeal-presbítero de Santos Quatro Mártires Coroados |
| 4 | Bartolomeo Alberto Cappellari , O.S.B.Cam. | 60 | Vigário geral da Ordem de São Bento Camaldulense | Cardeal-presbítero de São Calisto |

## Ligações Externas

* «Catholic Hierarchy» (em inglês)
# Praça Waldemar Henrique

Coordenadas: 1° 26' 47.828" S 48° 29' 49.139" O
A Praça Waldemar Henrique é uma praça brasileira localizada em Belém (Pará).
Homenageando o compositor e maestro paraense Waldemar Henrique, caracteriza-se por ser temática: enfoca o universo musical tanto em seu aparato material como em seu aspecto abstrato. Essas relações se concretizam no espaço da praça, por meio do palco inspirado nas linhas de um piano de cauda, dos brinquedos, do movimento ondulado definido pela cobertura do abrigo de apoio ao palco, dos bancos e do largo palco em pedra portuguesa, formando um mosaico de notas musicais contidas em uma frase de uma composição do maestro. Num painel sinuoso, em concreto, está fixada a efígie do maestro, sustentando ainda uma alegoria com os personagens amazônicos cantados em suas obras. A Praça Waldemar Henrique é considerada um espaço de congregação dos paraenses como palco da cultura popular. No período junino, ela proporciona a apresentação de músicas e danças típicas.

## Waldemar Henrique

Waldemar Henrique nasceu em Belém, no dia 15 de fevereiro de 1905 e faleceu em 27 de março de 1995. Compositor e pianista acompanhador, transferiu-se para o Rio de Janeiro, onde iniciou uma carreira de sucesso ao lado de sua irmã, Mara, preparada especialmente para interpretar suas canções.
# Pommiers-en-Forez

Pommiers-en-Forez (até 2020: Pommiers) é uma comuna francesa na região administrativa de Auvérnia-Ródano-Alpes, no departamento de Loire. Estende-se por uma área de 23,84 km². Em 2010 a comuna tinha 370 habitantes (densidade: 15,5 hab./km²).
# Pool de conexões

Em engenharia de software, um pool de conexões é um cache de conexões de banco de dados mantido de forma que as conexões possam ser reutilizadas quando requisições futuras ao banco de dados forem requeridas. Pools de conexões são usados para garantir o desempenho da execução de comandos sobre um banco de dados. Abrir e manter uma conexão de banco de dados para cada usuário, especialmente requisições feitas a uma aplicação web dinâmica baseada em banco de dados, é dispendioso e desperdiça recursos. Em um pool de conexões, após a conexão ser criada, ela é colocada no pool (depósito) e é usada novamente de forma que uma nova conexão não precisa ser estabelecida. Se todas as conexões estiverem sendo usadas, uma nova conexão é feita e é adicionada ao pool. O pool de conexões também reduz a quantidade de tempo que um usuário deve esperar para estabelecer uma conexão com o banco de dados.

## Suporte de banco de dados

Pool de conexões é suportado pelo IBM DB2, Microsoft SQL Server, Oracle, MySQL, e PostgreSQL.

## Veja também

* Object pool pattern
# Ponte de pedra sobre o rio Tuela

A Ponte de pedra sobre o rio Tuela, também referida como Ponte romana sobre o rio Tuela ou Ponte de Torre de Dona Chama, é uma ponte sobre o rio Tuela na Estrada Nacional 206 em Torre de Dona Chama, Portugal.
Desde 1982, esta Ponte sobre o rio Tuela está classificada como Monumento Nacional.

## Localização

A 3 km a Oeste de Torre de Dona Chama, na Estrada Nacional 206 (quilómetro 184), entre Torre de Dona Chama e Valpaços.

## Características técnicas

Ponte em alvenaria de cantaria de granito é constituída por:
* Seis arcos de volta perfeita, com um raio de cerca de 4,4 m
* Um tabuleiro rectilíneo e horizontal, protegido lateralmente por guardas, com:
** cerca de 100 m de comprimento
** 6,3 m de largura
** cerca de 6,5 m de altura acima do leito do rio.

## Galeria

| Vista do Rio Tuela a montante da ponte.jpg | Vista a montante na margem direita | Tabuleiro a partir da margem direita | Vista a jusante na margem direita.jpg | Vista a jusante na margem esquerda | Pormenor lateral a jusante na margem direita |
# Presidente do governo

Presidente do Governo é a denominação de um cargo do poder executivo, que serve como chefe de governo em alguns países com sistema parlamentarista.
Embora a nível internacional seja considerado equivalente a outras denominações, como primeiro-ministro ou chanceler, as funções não são necessariamente as mesmas. Na Espanha, por exemplo, o presidente do Governo não é primus inter pares - caso do primeiro-ministro do Reino Unido.
A denominação existe na Espanha (Presidente del Gobierno) e na Rússia (Председатель Правительства). Também no Luxemburgo, o chefe de governo tinha este título, entre 1857 e 1989.
# Projeção cilíndrica de Lambert

Projeção cilíndrica equivalente de Lambert ou projeção cilíndrica de Lambert é uma projeção cilíndrica e equivalente desenvolvida pelo matemático Johann Heinrich Lambert em 1772.

## Fórmulas

As fórmulas de conversão entre latitude e longitude (na esfera) e x e y (na projeção) são:
    $x=\lambda -\lambda _{0}\!$
    $y=\sin \phi \!$
em que $\phi \,$ é a latitude, $\lambda \,$ é a longitude e $\lambda _{0}\,$ é o meridiano central.
# Procuradoria-Geral da República da Irlanda

O Procurador-Geral (em irlandês: And tArd-Aighne) é um funcionário constitucional e assessor do Governo da República da Irlanda em matéria de Direito. Ele é, na verdade, o principal chefe da lei na Irlanda. O procurador-geral não é um membro do Governo, mas participa nas reuniões de gabinete quando convidado pelo Governo.
Como o Procurador-Geral, aconselha o Governo sobre a constitucionalidade da lei e tratados, ele apresenta também o caso do Governo se o Presidente referir-se a qualquer lei ao Supremo Tribunal, nos termos do artigo 26 da Constituição da Irlanda, antes da assinatura do mesmo.
O Procurador-Geral tem poucos direitos de acusação, estes são limitados a funções no âmbito de atos de extradição e de pesca. Em vez disso, o Director do Ministério Público tem a responsabilidade de todos os outros processos penais no Estado.
O Gabinete do Procurador-Geral é constituído por um número de diferentes serviços:
* O Conselho Consultor para o Procurador-Geral (aconselhamento jurídico)
* O Gabinete do Conselho Parlamentar (elaboração de legislação)
* O Gabinete do Solicitador do Chefe de Estado (fornecendo litígios, transferência e outros serviços transaccionais)
* A Unidade do Estatuto da Revisão da Lei (simplificar e melhorar o corpo do estatuto da lei)
Parte das funções do Procurador-Geral tem sido a de identificar e preparar a revogação de toda a legislação aprovada antes da independência. Isto inclui leis do Reino Unido da Grã-Bretanha e da Irlanda, Grã-Bretanha, Inglaterra e o Parlamento irlandês. Por exemplo, o abate de bovinos em Dublin está ainda regulamentado, em parte por um ato irlandês de 1743, enquanto o "Tratamento dos Comerciantes Estrangeiros" é regido pelo 25 Edw. 1 Carta Magna c. 30, um acto do Parlamento da Inglaterra datado de 1297.
O escritório, que foi criado em 1937 pela Constituição da Irlanda, é um sucessor linear do Instituto da Procuradoria-Geral da Irlanda, Procuradoria-Geral para o Sul da Irlanda e da Procuradoria-Geral do Estado Livre Irlandês.
O atual Procurador-Geral da República da Irlanda é Paul Gallagher, desde 14 de Junho de 2007.
# Priorado Berden

Priorado Berden foi um priorado em Essex, Inglaterra. Este local agora tem uma casa com estrutura de madeira do final do século 16, listada como Grau II *, no centro da Fazenda do Priorado Berden.
# Priorado da Santíssima Trindade

O Priorado da Santíssima Trindade foi um priorado em Ipswich, Suffolk, Inglaterra. Uma igreja desta dedicação foi nomeada no Domesday Book, embora a data de construção do priorado fosse 1177. Após um incêndio, o mosteiro foi reconstruído por João de Oxford, bispo de Norwich, em 1194.
Até 1300, a população local usava o priorado como igreja paroquial. No entanto, o aumento da população levou os cónegos a construir a adjacente Igreja de St Margaret para melhor acomodar as suas necessidades.
O priorado foi condenado em 1536 durante a dissolução dos mosteiros. Foi demolido por Edmund Withypoll entre 1548-1550, para ser substituído pela mansão de Christchurch.
# Prince Koranteng Amoako

Prince Koranteng Amoako (19 de novembro de 1973) é um ex-futebolista profissional ganês que atuava como meia.

## Carreira

Prince Koranteng Amoako representou a Seleção Ganesa de Futebol nas Olimpíadas de 1996.
# Lago Ayding

42° 39′ 27″ N, 89° 16′ 14″ L
Aydingkol (em uigur: ئايدىڭكۆل, Айдиңкөл), Aydingkul (mongol) or Ayding (chinês: 艾丁湖; pinyin: Àidīng Hú) é um lago na Depressão de Turfan, Região Autônoma Uigur de Sinquião, na República Popular da China. A 154 m abaixo do nível do mar, é o ponto mais baixo da China e mais baixo que qualquer outro lugar na Terra tirando Israel, Jordânia, Palestina, Síria e Djibouti. Este lago está totalmente seco, muito salgado e lamacento.

## História

Na Antiguidade, o Lago Ayding era conhecido como juéluòwǎn (觉洛浣). O nome derivado uigur Aydingköl significa "lago da lua", em função de o lago possuir uma camada de sal ao longo de sua borda, dando-lhe a aparência de lua iluminada.

## Geografia

O lago situa-se na hinterlândia ao sul da Depressão de Turfan, a 35 km da cidade de Turpan. De leste a oeste, o lago possui 40 km de comprimento, com a largura na direção norte-sul atingindo um máximo de 8km, com área total de 200 quilômetros quadrados. O lago teve formação orogênica a partir dos Himalaias 249 milhões de anos atrás e chegou a ter uma superfície de aproximadamente cinco milhões de quilômetros quadrados de mar interior. Durante o inverno de 1948, a bacia do lago foi preenchida com água doce, originária do degelo das montanhas, assim como daágua subterrânea; em função do menor uso de água para irrigação de terra cultivada durante o inverno, o nível da água aumentou. Durante o verão, o nível da água abaixou como consequência do uso da água para irrigação agrícola, assim como pela significativa evaporação natural. Em função da expansão agrícola da região, a população utilizando a água do lago cresceu e por volta de 1958, o lago tinha apenas 22 quilômetros quadrados de superfície com profundidade média de apenas 80 centímetros. Em 2000, exceto pela região a sudoeste, pouca água permaneceu e toda a área tornou-se um deserto de sal, com o centro do lago mantendo pântanos limosos, sem quaisquer pássaros nativos. Durante momentos de intensa luminosidade, miragens podem ser vistas.
Atualmente, o Lago Ayding possui um moinho de sal, que usa os cristais de alume e salitre para produzir materiais para a indústria química.
Em 24 de julho de 2015, o recorde de temperatura máxima na China foi alcançado numa estação meteorológica próxima a Aydingkol, com o valor de 50,3 °C (122,5 °F).
# Johanna Senfter

Johanna Senfter (27 de Novembro de 1879 - 11 de Agosto de 1961) foi uma compositora alemã.

## Percurso

Johanna Senfter nasceu e morreu em Oppenheim, era filha de Elise and Georg Senfter e tinha 5 irmãos mais velhos. A partir de 1895 estudou composição com Iwan Knorr, violino com Adolf Rebner, piano com Karl Friedberg e órgão no Conservatório Hoch em Frankfurt am Main.
Quando em 1908 ela começou a estudar com Max Reger em Leipzig, já possuía um conhecimento musical considerável.
Ela compôs nove sinfonias, 26 obras orquestrais e concertos para piano, violino, viola e violoncelo.
Senfter era uma compositora magistral da fuga.
No total, ela deixou para trás 134 obras.

## Prémios

Em 1910 recebeu o Arthur Nikisch Prize de melhor composição de 1909, pela sua Sonata in G major, Op. 6

## Discografia

* Mulheres na música ( Feminae Records, 2007)
** Elegie, op. 13, n. 3 - Interpretado por: Aleksandra Maslovaric (violino), Tânia Fleischer (piano)
# Homoeomma montanum

Homoeomma montanum é uma espécie de aranha pertencente à família Theraphosidae (tarântulas).

## Outros

Lista das espécies de Theraphosidae (Lista completa das Tarântulas.)
# Teatro das Variedades Dramáticas

O Teatro das Variedades Dramáticas, ou simplesmente Teatro das Variedades, era um teatro da antiga Calçada do Salitre, criado em 1859 e demolido em 1879. Apresentava comédia, dramas, ópera, dança e números de circo. O novo Teatro Variedades, no Parque Mayer, recebeu o seu nome em evocação ao antigo Variedades que existiu nas proximidades.
O Teatro Variedades veio substituir, por volta de 1859, o Teatro do Salitre, o teatro mais antigo da zona, que havia sido inaugurado na Calçada do Salitre em 1783 e tinha entrado em decadência após ter estado encerrado devido à febre amarela.
Em 1879, por ordem de Rosa Araújo, então presidente da Câmara, o Circo Price e o Teatro das Variedades foram expropriados e demolidos no contexto das obras de abertura da atual Avenida da Liberdade.
# Teoria da ramificação

Teoria da ramificação é uma proposição eclesiológica protestante de que a Igreja única, santa, católica e apostólica inclui várias denominações cristãs, seja na comunhão formal ou não. Os defensores anglicanos da teoria costumam incluir apenas as igrejas da Igreja Católica Romana, Ortodoxa Oriental e Anglicana, enquanto outros também podem incluem as igrejas ortodoxas orientais, a Igreja do Oriente, a Velha Igreja Católica e a Igreja Luterana.
# Teoria da perspectiva

A Teoria da Perspectiva (ou Teoria do Prospecto) é uma teoria da psicologia cognitiva que descreve o modo como as pessoas escolhem entre alternativas que envolvem risco, onde as probabilidades de resultados são incertas. Com base em resultados de estudos controlados, a teoria afirma que as pessoas tomam decisões mais baseadas em potenciais valores de perdas e ganhos do que no resultado final. Por exemplo, para alguns indivíduos, a dor de perder $ 1000 só poderia ser compensada pelo prazer de ganhar $ 2000. Assim, ao contrário da teoria da utilidade esperada (que modela a decisão que agentes perfeitamente racionais fariam), a teoria da perspectiva visa descrever o comportamento real das pessoas.
Na formulação original da teoria, o termo prospecto referia-se aos resultados previsíveis de uma loteria. No entanto, a teoria da perspectiva também pode ser aplicada à previsão de outras formas de comportamento e decisões.
A teoria foi desenvolvida por Daniel Kahneman (e por isso foi citada na decisão de conceder a Kahneman o Prêmio Nobel de Economia de 2002) e Amos Tversky em 1979. Kahneman e Tversky também propuseram que uma perda tem um impacto emocional maior sobre qualquer pessoa do que o ganho equivalente. Então, provavelmente uma pessoa tentará evitar uma perda mais do que tentar obter um ganho.
Alguns comportamentos observados na economia, como mudanças na aversão ao risco, podem ser explicados pela Teoria da Perspectiva. Investidores podem vender ativos que se valorizaram, obtendo ganhos rapidamente, enquanto tenderão a manter ativos que desvalorizaram. Isso pode reduzir os ganhos e aumentar perdas em seus investimentos.
# Teoria da prova estrutural

Na lógica matemática, teoria da prova estrutural é a especialidade da teoria da prova que estuda cálculos prova que suportam uma noção de prova analítica.

## Prova Analítica

A noção de prova analítica foi introduzida na teoria da prova por Gerhard Gentzen para o cálculo de sequentes; as provas analíticas são aquelas que são livres-de-corte. Seu cálculo dedução natural também suporta uma noção de prova analítica, como foi mostrado por Dag Prawitz; a definição é um pouco mais complexa - dizemos que as provas analíticas são as formas normais, que estão relacionados à noção de forma normal em rescrita de termos.

## Estruturas e conectivos

O termo estrutura em teoria da prova estrutural vem de uma noção técnica introduzida no cálculo de sequentes: o cálculo de sequentes representa o julgamento feito em qualquer fase de uma inferência usando, operadores extra-lógicos especiais que chamamos de operadores estruturais: em $A_{1},\dots ,A_{m}\vdash B_{1},\dots ,B_{n}$ as vírgulas à esquerda da catraca são operadores normalmente interpretados como conjunções, os à direita como disjunções, enquanto o símbolo catraca é interpretado como uma implicação. No entanto, é importante notar que há uma diferença fundamental de comportamento entre estes operadores e os conectivos lógicos pelos quais são interpretados no cálculo de sequentes: os operadores estruturais são utilizados em todas as regras do cálculo, e não são considerados quando se pergunta se a propriedade da subfórmula se aplica. Além disso, as regras lógicas seguem um único caminho: a estrutura lógica é introduzido por regras lógicas, e não podem ser eliminadas uma vez criadas, enquanto que os operadores estruturais podem ser introduzidos e eliminados no decorrer de uma derivação.
A ideia de olhar para as características sintáticas de cálculo de sequentes, como operadores especias não-lógicos não é velha, e foi forçada por inovações na teoria da prova: quando os operadores estruturais são tão simples como no cálculo de sequentes original de Getzen há pouca necessidade de analisá-los, mas cálculos de prova de inferência profunda, como os operadores estruturais exibidos de apoio lógica tão complexos como os conectivos lógicos, exigem um tratamento sofisticado.

## Eliminação do corte no cálculo de sequentes

Predefinição:Expand section

## Dedução natural deduction e a correspondência fórmulas-como-tipos

Predefinição:Expand section

## Dualidade lógica e harmonia

Predefinição:Expand section

## Lógica Display

Predefinição:Expand section

## Cálculo de estruturas

Predefinição:Expand section