On the geometry of intuitionistic S4 proofs.

Goubault-Larrecq, Jean; Goubault, Éric

Displaying similar documents to “On the geometry of intuitionistic S4 proofs.”

Diagonals on the permutahedra, multiplihedra and associahedra.

Saneblidze, Samson, Umble, Ronald (2004)

Homology, Homotopy and Applications

Similarity:

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 $L P P_{2}$

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:

$L_{A C P}^{k} >$ 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 $ℵ_{0}$ -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 $S^{2}$ and $ℝ^{2}$

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 $S^{2}$ . We also construct a solution of the equation $Δ u = u$ in $ℝ^{2}$ that has only two nodal domains. This equation arises in the study of high energy eigenfunctions.