المؤلفون: Lorenzo Peña

المصدر: Disputatio, Vol 10, Iss 17 (2021)

مصطلحات موضوعية: Verdad-valores, Funciones, B1-5802, Philosophy (General), Lógica no clásica, Lógica combinatoria, Cuantificadores

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doajarticles::07a0c86786299738fdb611739ddc94ef
https://studiahumanitatis.eu/ojs/index.php/disputatio/article/view/503

المؤلفون: NORIEGA MENDOZA, JESUS RAFAEL, 789785

المساهمون: ROMERO FELIX, CESAR FABIAN

المصدر: Universidad de Sonora
UNISON
Repositorio Institucional UNISON

مصطلحات موضوعية: QA9.6 .N67, Lógica simbólica y matemática, MÉTODOS PEDAGÓGICOS, Lógica combinatoria

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::39cea498916d06b3f4cc13b3b133a541
http://www.repositorioinstitucional.uson.mx/handle/unison/4524

المؤلفون: Zalamea, Fernando

المصدر: Repositorio UN
Universidad Nacional de Colombia
instacron:Universidad Nacional de Colombia

مصطلحات موضوعية: lógica combinatoria, topoi, enumeración, cizallas, fixed points, shears, objetos naturales, número recursividad, residuos, parametrization, realizabilidad, combinatory logic, intuicionismo, enumeration, realizability, residuals, natural number objects, Categorías cartesianas, parametrización, intuitionism, puntos fijos, recursión, Cartesian categories

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a54ccdaa1632bf0d94a7c3f44d1d111b
https://repositorio.unal.edu.co/handle/unal/43569

المؤلفون: Lorenzo Peña

المساهمون: Peña, Lorenzo [0000-0002-0186-6215], Peña, Lorenzo

المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instname
Lorenzo Peña

مصطلحات موضوعية: Lógica paraconsistente, Infinite-valued logic, Valor de verdad, Modelos algebraicos, Predicate calculus, Lógica difusa, Truth value, Lógica infinivalente, Lógica clásica, Lógica gradualista, Lógica matemática, Tautología, Cálculo de predicados, Algebraic models, Classical logic, Mathematical logic, Lógica fuzzy, Axiomatic systems, Tautology, Lógica combinatoria, Sistema axiomático, Combinatory logics

وصف الملف: 1072697 bytes; application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::190f1ecf58ab268148a8a6f05a93aeab
http://hdl.handle.net/10261/12290

المؤلفون: Peña, Lorenzo

المساهمون: Peña, Lorenzo, Peña, Lorenzo [0000-0002-0186-6215]

المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instname

مصطلحات موضوعية: Truth, Logical calculus, Prueba, Análisis conceptual, Cálculo lógico, Categorical statements, Being, Leibniz, Gottfried Wilhelm, Proof, Verdad, Ser, Conceptual analysis, Locuciones nominales, Oraciones, Enunciados categóricos, Reducción, Hypothetical statements, Enunciados hipotéticos, Sentences, Lógica combinatoria, Reduction, Noun-phrases, Combinatory logics

وصف الملف: 152939 bytes; application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e8e30fc346bfde8307ed0db8da96895
http://hdl.handle.net/10261/10603

المؤلفون: Peña, Lorenzo

المساهمون: Peña, Lorenzo [0000-0002-0186-6215], Peña, Lorenzo

المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instname

مصطلحات موضوعية: Reflexivity, Reflexividad, Desnivelación, Comprising relation, Relación de abarcamiento, Set theory, Lógica combinatoria, Teoría de conjuntos, Combinatory logics, Unlevelling

وصف الملف: 212246 bytes; application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::834a9d86a0f2a0cf016d84f4d31c2fd2
http://hdl.handle.net/10261/10408

مصطلحات الفهرس: 519.688, 004.891, Rule-based expert systems, Tennis hitting technique, Computer algebra systems, Groebner bases, Boolean logic, Algoritmos computacionales, Lógica combinatoria, Sistemas expertos (Informática), Tenis, Informática (Informática), Sistemas expertos, Matemáticas (Matemáticas), 1203.17 Informática, 12 Matemáticas, journal article

URL: https://hdl.handle.net/20.500.14352/7543
https://doi.org/10.3390/a13050106
https://www.mdpi.com/journal/algorithms

مصطلحات الفهرس: Lógica matemática, Lógica paraconsistente, Lógica gradualista, Lógica difusa, Lógica fuzzy, Lógica clásica, Valor de verdad, Tautología, Lógica infinivalente, Sistema axiomático, Cálculo de predicados, Lógica combinatoria, Modelos algebraicos, Mathematical logic, Classical logic, Truth value, Tautology, Infinite-valued logic, Axiomatic systems, Predicate calculus, Combinatory logics, Algebraic models, libro

URL: http://hdl.handle.net/10261/12290

مصطلحات الفهرس: Leibniz, Gottfried Wilhelm, Reducción, Oraciones, Locuciones nominales, Verdad, Ser, Prueba, Análisis conceptual, Cálculo lógico, Enunciados hipotéticos, Enunciados categóricos, Lógica combinatoria, Reduction, Sentences, Noun-phrases, Truth, Being, Proof, Conceptual analysis, Logical calculus, Hypothetical statements, Categorical statements, Combinatory logics, artículo

URL: http://hdl.handle.net/10261/10603

مصطلحات الفهرس: Teoría de conjuntos, Lógica combinatoria, Relación de abarcamiento, Reflexividad, Desnivelación, Set theory, Combinatory logics, Comprising relation, Reflexivity, Unlevelling, artículo

URL: http://hdl.handle.net/10261/10408
http://arbor.revistas.csic.es/index.php/arbor
http://arbor.revistas.csic.es/index.php/arbor