\paper{Title of Paper}{Name(s) of author(s)}

\label{Instruction}

\begin{abstract}
Every paper must contain an abstract not exceeding 100 words.
\end{abstract}

\begin{keywords}
a list of keywords (3 to 5 words or phrases) of the paper should be here
\end{keywords}

\section{Insruction}


Special attention should be paid to the following aspects of
typesetting a paper: abstract, keywords, theorems, lemmas, proofs, etc, should be typeset
using respective environments:


\begin{verbatim}
\begin{exdef}Formulation of definition\end{exdef}
\begin{engtheorem}Formulation of theorem\end{engtheorem}
\begin{exlem}Formulation of lemma\end{exlem}
\begin{proposition}Formulation of proposition\end{proposition}
\begin{observation}Formulation of observation\end{observation}
\begin{corollary}Formulation of corollary\end{corollary}
\begin{exrem}Formulation of remark\end{exrem}
\begin{exex}Formulation of example\end{exex}
\begin{exque}Formulation of question\end{exque}
\begin{proofeng}The text of the proof\end{proofeng}
\begin{proofeng_without_dot} is straightforward 
              and left to the reader.s \end{proofeng_without_dot}
\end{verbatim}

As a result we have:

\begin{exdef}Formulation of definition\end{exdef}
\begin{engtheorem}Formulation of theorem\end{engtheorem}
\begin{exlem}Formulation of lemma\end{exlem}
\begin{proposition}Formulation of proposition\end{proposition}
\begin{observation}Formulation of observation\end{observation}
\begin{corollary}Formulation of corollary\end{corollary}
\begin{exrem}Formulation of remark\end{exrem}
\begin{exex}Formulation of example\end{exex}
\begin{exque}Formulation of question\end{exque}
\begin{proofeng} The text of the proof\end{proofeng}
\begin{proofeng_without_dot} is straightforward and left to the reader. \end{proofeng_without_dot}




The reference list should be typeset using `thebibliography' environment.
Please keep the presented way of formatting the bibliography.

\begin{thebibliography}{11}
\bibitem {1} %% for a book
{\sc Prior},~A. N., \textit{Past, present and future}, Oxford University press, 1967.

\bibitem {2} %% for a paper in a journal or in a book
{\sc D’Ottaviano}, I. M. L., and H. A. {\sc Feitosa}, On G\"odel’s modal interpretation of the
intuitionistic logic, in J.-Y. B\'{e}ziau (ed.), \textit{Universal Logic: An Anthology, Birkh\"auser,
Basel}, 2012, pp. 71–-88.

\bibitem {3}
{\sc Bush}, D., Sequent formalizations of three-valued logic, in P. Doherty (ed.),
\textit{Partiality, Modality and Nonmonotonicity}, CSLI Publications, Stanford, 1996, pp. 45–-75.

\bibitem {4}
{\sc Kleene},~S. C., On notation for ordinal numbers, \textit{Journal of Symbolic Logic} 3:150–-155,
1938.

\bibitem {5}
{\sc Priest}, G., The logic of paradox, \textit{Journal of Philosophical Logic} 8:219–-241, 1979.
\end{thebibliography}










