Zobrazeno 1 - 5
of 5
pro vyhledávání: '"03B50, 03B60"'
The notion of a non-deterministic logical matrix (where connectives are interpreted as multi-functions) extends the traditional semantics for propositional logics based on logical matrices (where connectives are interpreted as functions). This extens
Externí odkaz:
http://arxiv.org/abs/2412.14057
Autor:
Zhuravlov, Volodymyr
The article explores the arithmetic of multiplication as a model of many valued projective logic. It is demonstrated that closed numerical intervals within this framework constitute Heyting algebras. The conditions for these algebras to be Boolean ar
Externí odkaz:
http://arxiv.org/abs/2406.00058
This paper explores trivalent truth conditions for indicative conditionals, examining the "defective" table put forward by de Finetti 1936, as well as Reichenbach 1944, first sketched in Reichenbach 1935. On their approach, a conditional takes the va
Externí odkaz:
http://arxiv.org/abs/1901.10266
Usually a name of the category is inherited from the name of objects. However more relevant for a category of objects and morphisms is an algebra of morphisms. Therefore we prefer to say a category of graphs if every morphism is a graph. In a monoida
Externí odkaz:
http://arxiv.org/abs/1103.5111
This paper explores trivalent truth conditions for indicative conditionals, examining the "defective" table put forward by de Finetti 1936, as well as Reichenbach 1944, first sketched in Reichenbach 1935. On their approach, a conditional takes the va
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ef58517c06e92803ca9119bc6a12b07
http://arxiv.org/abs/1901.10266
http://arxiv.org/abs/1901.10266