Results 41 to 50 of about 330,018 (78)
A new proof of the McKinsey-Tarski Theorem
It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure (and hence modal box as interior), then S4 is the logic of any dense-in-itself metrizable space.
Lucero-Bryan, Joel +3 more
core
Une réflexion à partir de la Nature de Spinoza : "La substance ou la Nature comme Treillis".
, 2018 We propose a simple mathematical model based on two axioms and the set theory to approach the problem developed by the philosopher B. Spinoza in "the Ethics".
Bachir, Mohammed
core +1 more source
A Short And Constructive Proof of Tarski's Fixed-Point Theorem [PDF]
I give short and constructive proofs of Tarski's fixed-point theorem, and of a much-used extension of Tarski's fixed-point theorem to set- valued maps.tarski, fixed-point theorem, supermodular, supermodular games, strategic complementarities, equilibrium
Federico Echenique
core