1
Recherche d'articles et d'articles sur le Tarskian Möglichkeit
Contexte: les logiques à plusieurs valeurs de Łukasiewicz étaient conçues comme des logiques modales, et Łukasiewicz a donné une définition d' extension de l'opérateur modal: (qu'il attribue à Tarski).◊ A =rée f¬ A → A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Cela donne une logique modale étrange, avec quelques théorèmes …