Introducción: el planeta de los marlis
Fruto de una investigación financiada en parte con una Ayuda Margarita Salas, Marlo-suite se ha utilizado de forma experimental en nuestro centro para introducir conceptos de lógica en etapas educativas previas a lo habitual (Secundaria y Bachillerato, 12-18 años).
Recomendación: cada módulo de la aplicación incluye un libro accesible desde el botón «Libro». Léelo antes de realizar los ejercicios.
Comandos básicos
En ordenador de sobremesa
- Arrastra los pictos (marlis, brutis, paraguas…) a las regiones de sujeto y predicado para escribir proposiciones en los diagramas de Marlo.
- Arrastra los cuantificadores todo (ALL) y parte (PART) a la zona de gramatemática. Observa los modelos en modo Aprendiz del módulo premisas.
- Doble clic para borrar.
En teléfono móvil
- Toca los pictos (marlis, brutis, paraguas…) y luego las regiones de sujeto y predicado donde quieras colocarlos. Toca cuantificadores y toca la zona para situarlos.
- Borra una región manteniéndola pulsada durante unos segundos. En Solitario lógico, arrastra una carta a la zona de descarte o tócala y selecciona «Descartar».
Semántica de los pictos: significado de cada color y forma
En los Diagramas lógicos de Marlo, cada pictograma (picto) tiene un significado lógico preciso según su color: azul, rojo o gris. Los pictos azules y rojos afirman la existencia de la entidad en el universo del discurso, mientras que los pictos grises representan posibilidades cuya existencia no está garantizada. Además del color, el sistema utiliza dos símbolos especiales —la disyunción inclusiva y la exclusión NAND— y una divisoria para añadir regiones en los conjuntos. Todo esto sirve para representar relaciones lógicas complejas entre sujeto y predicado.
Picto azul: ser o tener (existe)
Significa ser o tener, por ejemplo, ser marli o tener paraguas. Además nos dice que esa entidad existe en nuestro universo.
Picto rojo: no ser o no tener (existe)
Significa no ser o no tener, por ejemplo, no tener sombrero. Además nos dice que existe al menos un ser que no tiene sombrero en nuestro universo.
Picto gris: ser o tener (no sabemos si existe)
Significa ser o tener, por ejemplo, ser marli o tener paraguas. Pero no sabemos si esa entidad existe en nuestro universo.
Picto gris tachado: no ser o no tener (no sabemos si existe)
Significa no ser o no tener, por ejemplo, no tener sombrero. Pero no sabemos si esa entidad existe en nuestro universo.
Disyunción inclusiva (símbolo "/" azul)
El símbolo / azul representa una disyunción inclusiva. Ponlo entre dos pictos dentro del conjunto del sujeto para decir que al menos uno se dice del sujeto.
Exclusión NAND (símbolo "/" rojo)
El símbolo / rojo representa una exclusión NAND. Ponlo entre dos pictos fuera del conjunto del sujeto, región OUT, para decir que ambos no pueden darse juntos fuera del sujeto. Por ejemplo, fuera del conjunto de los marlis no puede haber seres con sombrero y paraguas.
La divisoria
Haz clic o toca la divisoria "|" para añadir o quitar una tercera región en el diagrama, de modo que puedas separar predicados que no necesariamente se dan juntos. Así puedes decir que hay marlis con paraguas y marlis con sombrero, sin afirmar o negar que hay marlis con sombrero y paraguas.
Cuantificadores Todo–Parte
Utiliza los cuantificadores ALL (todo) y PART (parte) para expresar la gramatemática en la zona que encontrarás debajo de los diagramas. Recuerda que el primer cuantificador siempre se refiere al sujeto y el segundo al predicado.
Módulo 1: Gramatemática
Cuando decimos que todos los perros tienen cola, no afirmamos que todos los seres con cola son perros. En este módulo aprenderás a entender las relaciones todo/parte que una proposición establece entre sujeto y predicado.
La lógica formal contemporánea tiende a la abstracción matemática. El enfoque de este módulo busca recuperar el vínculo con el lenguaje natural y explorar visualmente matices (como lo posible o lo probable) que no se representan habitualmente en los diagramas de Venn de distinción binaria.
Verdadero / Falso
En el apartado Verdadero/Falso respondes a preguntas de dificultad creciente sobre afirmaciones referidas a una imagen. Se trata de comprender qué modelos hacen verdaderas nuestras afirmaciones sobre el mundo.
¿Qué significa afirmar que todos los que tienen bigote tienen paraguas? ¿Y afirmar que los que no tienen paraguas o sombrero no tienen bigote? Estos ejercicios están diseñados para facilitar la comprensión del significado de disyunciones y conjunciones, y para ilustrar con ejemplos visuales los cuantificadores fundamentales de la lógica:
- Existe un X (al menos uno)
- No existe ningún X
- Para todo X
- Para ningún X
Relaciones todo-parte
En este apartado observas el mundo desde la perspectiva de las relaciones gramatemáticas todo-parte entre sujeto y predicado. En la imagen del ejemplo, todo el que tiene sombrero lleva paraguas, pero solo parte de los que tienen paraguas llevan sombrero.
El ejercicio se resuelve en dos pasos:
- Identifica la gramatemática. Elige entre las cuatro relaciones posibles entre sujeto y predicado: Todo=Todo, Todo=Parte, Parte=Todo o Parte=Parte.
- Elige la proposición más informativa. Una vez determinada la gramatemática, selecciona entre cuatro frases en lenguaje natural la que mejor describe la escena. No todas las proposiciones verdaderas son igual de informativas: «algunos que tienen sombrero tienen paraguas» es cierto, pero «todos los que tienen sombrero tienen paraguas» dice mucho más.
Esta doble validación enseña a distinguir entre proposiciones lógicamente verdaderas y proposiciones lógicamente útiles, una distinción esencial en el razonamiento deductivo.
Módulo 2: Construir premisas
En este módulo aprendes a representar proposiciones del lenguaje natural como diagramas de Marlo. La interfaz se divide en dos zonas: a la izquierda aparece un modelo con la solución, y a la derecha el diagrama vacío que debes completar replicando ese modelo.
Modo Aprendiz y Modo Ejercicio
El módulo se inicia en Modo Aprendiz: el modelo de la izquierda muestra cómo se construye el diagrama correcto, y tú lo replicas en el tablero de la derecha, pero usando los pictogramas de sujeto y predicado del enunciado, no del modelo. Cuando te sientas seguro, pulsa el indicador "Modo: Aprendiz" en la esquina superior derecha para cambiar a Modo Ejercicio, donde el modelo se oculta y debes construir la premisa solo a partir de la frase en lenguaje natural.
Cómo construir una premisa
- Coloca el sujeto en el centro. Arrastra el picto correspondiente al sujeto a la región central del círculo.
- Coloca el predicado. Arrastra el picto del predicado a una región interna (parte) o a todo el interior del círculo (todo), según lo que afirme la premisa.
- Predicado fuera del sujeto (opcional). Si la proposición permite que el predicado se dé también fuera del conjunto del sujeto, arrastra su picto a la zona exterior ("predicate outside subject").
- Define la gramatemática. Arrastra los cuantificadores ALL (todo) y PART (parte) a la banda inferior. El primer cuantificador corresponde siempre al sujeto, el segundo al predicado.
- Valida. Pulsa "Validar gramatemática" y "Validar ejercicio" para comprobar tu respuesta.
Proposiciones cubiertas
El módulo contiene ejemplos de dieciséis formas básicas, con combinaciones de afirmación y negación en sujeto y predicado. Su práctica permite representar visualmente una amplia variedad de proposiciones categóricas básicas.
Practica este módulo en Marlo-suite Premisas.
Módulo 3: Convertir
Convertir una proposición consiste en intercambiar el sujeto y el predicado manteniendo correctamente la relación gramatemática todo-parte. En este módulo aprendes a hacer conversiones con rigor lógico, evitando una de las falacias formales más comunes: la afirmación del consecuente.
Los cuatro tipos de conversión
Toda proposición categórica responde a una de cuatro relaciones gramatemáticas entre sujeto y predicado. Cada una se convierte siguiendo una regla precisa:
- Parte = Parte (simétrica). "Algunos con paraguas tienen bigote" → "algunos con bigote tienen paraguas". Los cuantificadores se mantienen.
- Todo = Todo (simétrica). "Los que tienen paraguas son los mismos que tienen sombrero" → "los que tienen sombrero son los mismos que tienen paraguas". Los cuantificadores se mantienen.
- Todo = Parte → Parte = Todo (no simétrica). "Todos los que tienen sombrero tienen paraguas" → "solo entre los que tienen paraguas los hay con sombrero". Los cuantificadores se invierten.
- Parte = Todo → Todo = Parte (no simétrica). "Solo entre los que tienen sombrero los hay con paraguas" → "todos los que tienen paraguas tienen sombrero". Los cuantificadores se invierten.
Integración de relaciones particulares inversas
El sistema incorpora de forma explícita la relación de tipo Parte = Todo ("solo entre los S los hay P"), permitiendo operaciones de conversión complementarias a las de la silogística tradicional.
La falacia de la afirmación del consecuente
Es el error de deducir, a partir de "todos los S son P", que "todos los P son S". Por ejemplo: de "todos los perros son mamíferos" no se sigue que "todos los mamíferos son perros". El error está en tratar la relación Todo=Parte como si fuera simétrica, cuando solo lo son las relaciones Todo=Todo y Parte=Parte. Practicar las cuatro conversiones con rigor entrena al alumnado a no invertir indebidamente proposiciones universales, una habilidad central para detectar argumentos defectuosos en el razonamiento cotidiano.
Cómo se resuelve un ejercicio
- Lee la premisa modelo en el panel izquierdo y observa su diagrama.
- Construye el diagrama convertido en el tablero central, intercambiando los pictos de sujeto y predicado.
- Ajusta la gramatemática en la banda inferior según el tipo de conversión: mantén los cuantificadores si es simétrica, o inviértelos si es no simétrica.
- Valida con "Validar gramatemática". Si es correcto, aparece "Siguiente ejercicio".
Practica este módulo en Marlo-suite Convertir.
Módulo 4: Transformar
Transformar una proposición consiste en intercambiar el sujeto y el predicado, cambiar la cualidad afirmativa o negativa de ambos, y mantener los mismos cuantificadores. Es la operación que permite razonar correctamente con condicionales y evitar otra de las falacias formales más comunes: la negación del antecedente.
Cómo se transforma una proposición
Partiendo de "todos los que tienen sombrero tienen paraguas" se sigue que "si no tienen paraguas, no tienen sombrero". La transformación cumple tres reglas simultáneas:
- Intercambiar sujeto y predicado.
- Negar ambos términos (cambiar afirmación por negación).
- Mantener los cuantificadores ALL/PART.
Las proposiciones particulares (con cuantificador Parte en el sujeto) no admiten transformación: de "algunos con sombrero tienen paraguas" no se sigue legítimamente nada sobre "algunos sin paraguas".
De la categórica a la condicional: una distinción clave
Al transformar perdemos el compromiso existencial con sujeto y predicado. Por eso los pictogramas pasan a gris. La proposición original afirma en indicativo —"hay seres con sombrero"—, pero la transformada habla en subjuntivo —"si los hubiera sin paraguas, no tendrían sombrero"—. Pasamos de una proposición categórica a una proposición condicional.
Los Diagramas de Marlo separan de manera clara las operaciones de convertir y transformar, una distinción que es esencial para el pensamiento crítico: confundir condicional y categórica es la raíz de muchas falacias del razonamiento cotidiano.
La falacia de la negación del antecedente
Es el error de deducir, a partir de "todos los S son P", que "si no es S, no es P". Por ejemplo: de "todos los perros tienen cola" no se sigue que "si no es perro, no tiene cola". Practicar las transformaciones con rigor entrena al alumnado a distinguir lo que una proposición afirma de lo que no afirma, una habilidad central del razonamiento deductivo.
Cómo se resuelve un ejercicio
- Lee la premisa modelo en el panel izquierdo.
- Construye la transformada en el tablero central: intercambia los pictos de sujeto y predicado y cámbiales el color (azul a rojo o viceversa, o gris afirmado a gris tachado).
- Mantén los cuantificadores ALL/PART en la banda inferior sin invertirlos.
- Valida con "Validar gramatemática".
Módulo 5: Igualar el término medio
Para poder sumar dos diagramas y extraer conclusiones, ambos deben compartir un mismo sujeto: el término medio. En este módulo aprenderás a usar las operaciones de convertir y transformar (módulos 3 y 4) para llevar el término medio al centro de ambos diagramas, dejándolos preparados para la suma.
El término medio: un denominador común para razonar
El término medio funciona como un denominador común que permite sumar conjuntos. Igual que en aritmética no podemos sumar fracciones con denominadores distintos sin antes igualarlos, en lógica no podemos sumar dos premisas sin antes asegurarnos de que comparten un mismo sujeto.
Esta concepción del razonamiento como hilar, unir y sintetizar ideas es la que defendieron los grandes pensadores de la tradición filosófica. Para Aristóteles, razonar consistía en encontrar el término medio que conecta dos extremos. Descartes describía el pensamiento como una cadena de eslabones que enlazan ideas claras y distintas. Locke veía la razón como la facultad de descubrir las conexiones intermedias entre dos proposiciones. Razonar, en esta tradición, consiste esencialmente en buscar lo común.
Razonamiento natural frente a tablas de verdad
Las tablas de verdad son una herramienta valiosa de la lógica formal moderna: permiten verificar mecánicamente la validez de un razonamiento reduciéndolo a operaciones binarias sobre valores de verdad. Pero en las etapas iniciales del aprendizaje, el razonamiento natural suele apoyarse más en la búsqueda de elementos comunes e hilación de premisas por el término medio, gracias a la percepción de relaciones de inclusión todo/parte.
Los Diagramas de Marlo buscan representar visualmente ese proceso de hilación. No sustituyen las tablas de verdad —que siguen siendo útiles para verificar—, sino que ofrecen una vía gráfica complementaria para trabajar las conexiones entre premisas.
Cómo se resuelve un ejercicio
- Identifica el término medio que se repite en ambas premisas (el indicador en la parte superior te lo recuerda).
- Decide qué operaciones necesitas en cada diagrama: convertir, transformar, o dejar la premisa como está.
- Aplica las operaciones usando los botones "Convertir" y "Transformar" en cada panel.
- Verifica que el término medio queda en el centro de ambos diagramas, listo para la suma.
- Pulsa "Validar suma" para confirmar.
Módulo 6: Sumar premisas
Sumar es la operación central del razonamiento deductivo: dos premisas que comparten un término medio se sintetizan en un único diagrama que recoge toda la información disponible. En este módulo aprendes a construir esa síntesis con rigor, evitando errores clásicos como agregar información que las premisas no autorizan.
Sumar como sintetizar modelos
Una suma en los Diagramas de Marlo es una síntesis de modelos. El diagrama resultante debe contener toda la información de ambas premisas, tanto la que aparece dentro del conjunto del sujeto como la que aparece fuera. Olvidar recoger los pictos de una región exterior es perder información válida; añadir pictos que no estaban en ninguna premisa es introducir información inventada.
La regla es simple: todo lo que afirma alguna de las premisas debe aparecer en la suma, y nada que no afirme alguna premisa puede aparecer en ella.
Dos premisas particulares: el uso de la divisoria
Cuando sumamos dos premisas particulares (con cuantificador Parte en el sujeto), el sistema exige añadir una divisoria en el diagrama suma. Esta divisoria separa lo que cada premisa afirma sin combinarlo indebidamente.
Por ejemplo, si "algunos con paraguas tienen bigote" y "algunos con paraguas tienen sombrero", podemos concluir que entre los que tienen paraguas los hay con bigote y los hay con sombrero. Pero no podemos concluir que hay alguien que tenga paraguas, bigote y sombrero al mismo tiempo: las dos premisas hablan de subconjuntos posiblemente distintos. La divisoria es el recurso visual que impide cometer esta falacia de las premisas particulares en el razonamiento cotidiano.
Cómo se resuelve un ejercicio
- Observa las premisas modelo (Premisa 1 y Premisa 2) en los paneles izquierdos. Identifica qué pictos hay dentro y qué pictos hay fuera de cada conjunto.
- Construye la suma en el panel derecho arrastrando todos los pictos relevantes a las regiones correspondientes. Empieza siempre por los pictos del interior, porque solo puedes poner fuera lo que ya está dentro.
- Añade la divisoria si es necesario: cuando ambas premisas sean particulares, pulsa el botón "Divisoria" para separar regiones.
- Valida con "Validar ejercicio".
Módulo 7: Análisis de sumas
Una vez sumadas dos premisas en un diagrama común, el módulo de Análisis te enseña a extraer la conclusión correcta. Para ello hay que olvidar el término medio que conectaba ambas premisas y descubrir la relación gramatemática que se ha generado entre los dos términos extremos: el sujeto de la primera premisa y el predicado de la segunda. Esta operación presenta una mayor complejidad cognitiva y está diseñada para ejercitar la flexibilidad mental y el pensamiento crítico.
Descentrar el pensamiento: cambiar de perspectiva
Analizar exige al alumnado descentrar el pensamiento. En Análisis, lo que en la suma era predicado pasa a ser sujeto, y viceversa. Desarrollar esta flexibilidad mental suele ser un reto para el razonador inexperto, siendo uno de los focos principales del entrenamiento.
Operar sin significados: la fuerza de la abstracción
Desde el momento en que formalizamos una oración en los Diagramas de Marlo, dejamos de operar con su significado y empezamos a operar con su estructura lógica. Este despojo semántico es lo que da fuerza al razonamiento deductivo: no importa qué representen los pictos, lo único que importa son las relaciones entre ellos.
La falacia de la generalización indebida
Es el error de extraer una conclusión que afirma más de lo que las premisas autorizan. En Análisis suele aparecer cuando se ignoran los términos libres: los pictos que aparecen fuera de las regiones donde se concentra la asociación principal. Si hay un picto libre, no podemos afirmar "todos los X son Y", sino solo "algunos X son Y", porque ese picto suelto demuestra que existen Xs que no están asociados a Y. Evitar esta falacia ayuda a combatir prejuicios y estereotipos cotidianos.
Cómo se resuelve un ejercicio
- Observa el diagrama suma (panel izquierdo) y olvida el término medio que conectaba las dos premisas originales.
- Elige uno de los dos términos extremos como sujeto del diagrama de análisis (panel derecho). Pregúntate: ¿toda la región de este término está asociada al otro, o solo una parte?
- Invierte la perspectiva y haz la misma pregunta desde el otro término. La combinación de ambas respuestas te da la relación gramatemática completa.
- Vigila los pictos libres: si alguno queda fuera de la asociación principal, la relación es Parte, no Todo.
- Valida con "Validar ejercicio".
Módulo 8: Resolver silogismos
Este es el módulo culminante de Marlo-suite: aquí se integra todo lo aprendido en los módulos anteriores. Partiendo de dos premisas en lenguaje natural, recorres el camino completo hasta la conclusión aplicando convertir, transformar, sumar y analizar en el orden correcto.
Trazabilidad del razonamiento
Una de las características de Marlo-suite es la trazabilidad explícita de las operaciones intermedias: cada paso (convertir, transformar, sumar) genera un diagrama específico observable. Esto permite aislar y revisar pedagógicamente el punto exacto donde se rompe una cadena de razonamiento, a diferencia de los métodos de verificación directa o estática. Los Diagramas de Marlo exponen los procesos constitutivos del razonamiento, haciendo visible lo que en otros sistemas queda implícito.
Los silogismos clásicos: Barbara, Celarent, Darii, Ferio...
La lógica aristotélica clasificó los silogismos válidos en modos identificados con nombres mnemotécnicos medievales: Barbara, Celarent, Darii, Ferio, Cesare, Camestres, Festino, Baroco, Felapton, Bocardo, Ferison y otros. El libro del módulo presenta diversos silogismos clásicos resueltos paso a paso y es accesible desde el botón «Libro» del menú principal.
Más allá de la tradición: ampliando el repertorio silogístico
Al formalizar relaciones gramatemáticas como Parte=Todo y Todo=Todo, los Diagramas de Marlo enriquecen el repertorio silogístico tradicional con modos válidos adicionales, permitiendo tratar de manera unificada un rango más amplio de razonamientos deductivos.
Cómo se resuelve un ejercicio
- Resuelve la Premisa 1 representándola como diagrama. Pulsa "Validar" cuando esté completa.
- Aparece la Premisa 2. Represéntala también y valida. Se activa entonces el botón "Añadir operación".
- Añade operaciones en el orden que necesites: Convertir y Transformar para igualar el término medio, luego Sumar las premisas, y finalmente Análisis para extraer la relación entre los términos extremos.
- En cada operación Análisis, selecciona el diagrama origen y los dos términos cuya relación quieres descubrir.
- Valida cada operación antes de añadir la siguiente.
- Llega a la conclusión y compárala con la conclusión esperada que aparece en el enunciado.
Laboratorio: crea tus propios diagramas
El Laboratorio es el espacio de experimentación libre de Marlo-suite. Aquí construyes los diagramas que quieras y descubres qué afirman, qué prohíben y qué permiten.
Afirmar, prohibir, permitir: las tres caras del diagrama
La pestaña "Lo que afirma" muestra lo que el diagrama declara explícitamente. La pestaña "Lo que prohíbe" muestra lo que hace imposible. Y la pestaña "Lo que permite" muestra lo que deja abierto como verosímil sin afirmarlo ni descartarlo. El diagrama complementa la asignación de valores de verdad trazando un escenario combinatorio de las opciones compatibles con la información disponible.
Dos errores del pensamiento binario: falacia ad ignorantiam y falacia modal
La falacia ad ignorantiam consiste en confundir lo no confirmado con lo negado. El Laboratorio muestra explícitamente la categoría de lo verosímil sin confirmar, evitando que se confunda con lo imposible.
La falacia modal consiste en confundir lo posible con lo necesario, o lo permitido con lo afirmado. La pestaña "Lo que permite" del Laboratorio entrena a distinguir el espacio de lo posible del espacio de lo afirmado, reconociendo que entre lo afirmado y lo negado existe un amplio territorio de posibilidades abiertas.
Cómo se usa el Laboratorio
- Construye un diagrama arrastrando pictos al sujeto, al predicado y a la región exterior. Puedes usar la disyunción inclusiva ("/" azul) o la exclusión NAND ("/" rojo).
- Pulsa "Explicar" y Aspasia leerá el diagrama, devolviéndotelo verbalizado en lenguaje natural.
- Navega entre las tres pestañas "Lo que afirma", "Lo que prohíbe" y "Lo que permite".
- Observa las clases de individuos ordenadas por grado de existencia, desde lo confirmado hasta lo absurdo.
- Pulsa "Limpiar tablero" para empezar de nuevo.
Solitario lógico: el juego de cartas
El Solitario lógico es el módulo donde todo lo aprendido se pone en juego. Las cartas contienen diagramas de Marlo, y tu objetivo es emparejarlas siguiendo las relaciones lógicas válidas entre ellas.
Gamificación del razonamiento deductivo
El formato se apoya en principios de gamificación para trasladar el ejercicio deductivo a un entorno lúdico con reglas y puntuación, ofreciendo un recurso alternativo para las aulas de Filosofía o Lengua.
Cómo se juega
- Observa el mazo y la carta inicial sobre la mesa.
- Identifica relaciones lógicas válidas entre las cartas de tu mano y las ya colocadas: conversiones, sumas u otras relaciones admitidas por el juego.
- Coloca la carta que mejor encadene con la anterior, respetando el orden establecido.
- Descarta las cartas que no puedas encadenar: arrástralas a la zona de descarte o tócalas y selecciona «Descartar».
- Suma puntos por cada carta correctamente encadenada.
¿Listo para empezar? Accede al menú principal de Marlo-suite.
Fundamentación académica
Los Diagramas de Marlo son el resultado de más de una década de investigación sobre razonamiento diagramático, lógica de predicados y didáctica de la lógica. El sistema se desarrolló en el marco de una tesis doctoral defendida en 2020 y depositada en el repositorio institucional de la Universidad de Huelva. Marcos Bautista López Aznar obtuvo en 2020 el título oficial de Doctor dentro del Programa Conjunto Oficial de Doctorado en Lenguas y Culturas. Es licenciado en Filosofía (UCM) y en Psicología (UNED), y miembro del Grupo de Investigación en Lógica, Lenguaje e Información (HUM-609).
Tesis doctoral
López Aznar, M. B. (2020). Diagramas lógicos de Marlo para el razonamiento visual y heterogéneo: válidos en lógica matemática y aristotélica [Tesis doctoral, Universidad de Huelva]. Repositorio Arias Montano. Acceso al texto completo.
Publicaciones seleccionadas
- Toscano, F. S., Aznar, M. B. L. (2024). An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page. Diagrammatic Representation and Inference, Springer. DOI: 10.1007/978-3-031-71291-3_36.
- López Aznar, M. B. (2022). How to Build and Convert Complex Propositions in the Marlo Diagram. Springer. DOI: 10.1007/978-3-031-15146-0_31.
- López Aznar, M. B., Címbora Acosta, G., Gadea, W. F. (2022). Marlo's Networks of Expectations. Lecture Notes in Networks and Systems, Springer. DOI: 10.1007/978-3-031-10464-0_17.
- López Aznar, M. B., Címbora Acosta, G., Gadea, W. F. (2022). Significance in Marlo Diagrams Versus Thoroughness of Venn Diagrams. Lecture Notes in Networks and Systems, Springer. DOI: 10.1007/978-3-031-10461-9_14.
- López Aznar, M. B., Gadea, W. F., Címbora Acosta, G. (2021). Aaron Schuyler: The Missing Link Between Euler and Venn Diagrams? Diagrammatic Representation and Inference, Springer. DOI: 10.1007/978-3-030-86062-2_17.
- López Aznar, M. B. (2020). Syllogisms with Intermediate Quantifiers Solved in Marlo Logic Diagrams. Springer. DOI: 10.1007/978-3-030-54249-8_37.
- López Aznar, M. B. (2020). The Indemonstrables of Chrysippus of Soli in Marlo Logical Diagrams. Could Propositional Calculus Be Nothing but Syllogisms? Springer. DOI: 10.1007/978-3-030-54249-8_38.
- López Aznar, M. B. (2020). The Marlo Diagram in the Classroom. Springer. DOI: 10.1007/978-3-030-54249-8_41.
- López Aznar, M. B. (2015). Adiós a bArbArA y Venn. Lógica de predicados en el diagrama. Paideia. Revista de Filosofía y Didáctica Filosófica, ISSN 0214-7300.
Perfil académico y relación de trabajos disponible en ORCID: 0000-0001-6931-660X.
Consulta también la página institucional de investigación y publicaciones de MARLO y el perfil del autor y la trayectoria del proyecto.