gaggt

-Logica intuicionista:
o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. Elsistematiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones.Scribd.
es una restricción de la lógica clásica en la que la ley de exclusión eliminación negación mediay doble no son axiomas del sistema, y no puede ser probada.Camposdoc.com
 sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyectointuicionistade Brouwer. El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones.Español-diccionario.com
-lógica modal:
sistema formal que intenta capturar elcomportamiento deductivo de algún grupo de operadores modales. SLIDESHARE.
Tipo de lógica formal que se extiende a la lógica proposicional y de predicados clásica al incluir operadores de modalidad paraexpresar. Campodocs.com
Sitema formal que estudia las posibles relaciones entre los diferentes mundos, utilizando los conceptos de posibilidad y necesidad. Caracterizándose como una lógica completa,consistente y decidible. Universidad Nueva Esparta.
Lógica de clases
Analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo a una determinada clase.Diccionario Filosófico.
Tipo de lógica que señala la apariencia de un sujeto en una determinada clase, dejando por un lado los atributos que este posea. Paginasdefilosofia.com}
la lógica de lasproposiciones sin analizar, teniendo como enfoque de estudio las relaciones entre proposiciones y de la simbolización de inferencias. Logicadeclases.blogspot.com
-Lenguaje
Conjunto de sonidosarticulados con que las personas manifiestan lo que piensan o sienten. wordReferecence.com
Conjunto de señales que dan a entender algo.RAE
cualquier código semiótico de estructura formal y que supone para...