Jazyky pro empirii a teorii
Je elementární logika totéž co predikátová logika prvního řádu?
Jede mit Stackautomaten berechenbare Funktion ist elementar.
Ještě o elementární logice
Joins of congruences in -groups
Join-semilattices whose sections are residuated po-monoids
We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section...
Joint distributions and compatibility of observables in quantum logics
Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)
Juegos no cooperativos con preferencias difusas.
El objetivo de este trabajo es el estudio de los juegos no cooperativos en los que los jugadores expresan sus preferencias sobre las consecuencias que se derivan de sus acciones mediante relaciones binarias difusas. El concepto de solución que se maneja es el de estrategias en equilibrio. La existencia de tales estrategias queda probada en el caso de que los jugadores definan sus preferencias sobre las consecuencias aleatorias mediante la extensión lineal introducida en Montero-Tejada (1986a).