O que significa LDS

Comportamento Empreendedor

•

UNINTER

Misael Misa

06/12/2017

💡 2 Respostas

Artur Gabri

09.03.2018

Se for DLS, é Desenvolvimento Local Sustentável.

Andre Smaira

30.10.2019

LDS é uma sigla inglesa derivada de Labelled Natural Deduction System e que significa, basicamente, Sistema Dedutivo Rotulado; este último foi proposto por Gabbay para ser possível expressar propriedades de controle meta-nível através de dois aspectos principais, sendo eles o aspecto lógico e o aspecto algébrico; dessa maneira, podemos afirmar que o LDS propicia uma boa perspectiva da área que envolve lógica e computação, uma vez que lida com características de meta-nível de sistemas lógicos, ou seja, a partir do uso desse mecanismo teremos respostas para situações como por exemplo "como proceder, dado o que foi feito até este momento?".