Preguntas etiquetadas con modal-logic

1
Buscando documentos y artículos sobre el Möglichkeit Tarskian
Algunos antecedentes: las lógicas de muchos valores logukasiewicz fueron concebidas como lógicas modales, y Łukasiewicz dio una definición extensional del operador modal: (que atribuye a Tarski).◊ A =ree f¬ A → A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Esto proporciona una lógica modal extraña, con algunos teoremas paradójicos, si no …


Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.