Diagonals on the permutahedra, multiplihedra and associahedra.
Saneblidze, Samson, Umble, Ronald (2004)
Homology, Homotopy and Applications
Similarity:
Displaying similar documents to “On the geometry of intuitionistic S4 proofs.”
Diagonals on the permutahedra, multiplihedra and associahedra.
An inheritance criterion for the admissible inference rules of K4.
Rutskij, A.N., Fedorishin, B.R. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.
Rimatskiĭ, V.V. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Preservation of admissibility of inference rules in the logics similar to S4. 2.
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
On the Beth property in extension of Lukasiewicz logics.
Tishkovskij, D.E. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
An extension of the probability logic
Tatjana Stojanović, Ana Kaplarević-Mališić, Zoran Ognjanović (2010)
Kragujevac Journal of Mathematics
Similarity:
Chain theories and simplicial abelian group spectra.
Bauer, Friedrich W. (2002)
Georgian Mathematical Journal
Similarity:
logic and completeness theorem
Vladimir Ristić (2006)
Kragujevac Journal of Mathematics
Similarity:
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.
Shrejner, P.A. (2000)
Siberian Mathematical Journal
Similarity:
Binarity for -categorial weakly o-minimal theories of convexity rank 1.
Kulpeshov, B.Sh. (2006)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Algebraic real analysis.
Freyd, Peter (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Beta-reduction as unification
A. Kfoury (1999)
Banach Center Publications
Similarity:
We define a new unification problem, which we call β-unification and which can be used to characterize the β-strong normalization of terms in the λ-calculus. We prove the undecidability of β-unification, its connection with the system of intersection types, and several of its basic properties.
On nodal sets and nodal domains on and
Alexandre Eremenko, Dmitry Jakobson, Nikolai Nadirashvili (2007)
Annales de l’institut Fourier
Similarity:
We discuss possible topological configurations of nodal sets, in particular the number of their components, for spherical harmonics on . We also construct a solution of the equation in that has only two nodal domains. This equation arises in the study of high energy eigenfunctions.