EUDML | A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi”

Characterization of the Kantor-Koecher-Tits algebra by a generalized Ahlfors operator.

Bertram, Wolfgang, Hilgert, Joachim (2001)

Journal of Lie Theory

Similarity:

On Integrability of Trigonometric Series with Quasi - Monotone Coefficients

Tatjana Ostrogorski (1980)

Publications de l'Institut Mathématique

Similarity:

On the algebraic properties of convex bodies and some applications.

Markov, Svetoslav (2000)

Journal of Convex Analysis

Similarity:

Integrability Theorems for Trigonometric Series with Positive Coefficients

Tatjana Ostrogorski (1981)

Publications de l'Institut Mathématique

Similarity: