%%%% The example with numbered references for LaTeX
\documentclass[oumk,xs]{xxllp}
\usepackage{amsmath,amssymb, amsfonts} % Do not use: amsthm
%\usepackage{stmaryrd}                              % It can be used
%\usepackage[mathscr]{euscript}                 % It can be used

\usepackage[TS1,T1]{fontenc}
\usepackage{xxllp}
\usepackage{LLPthm}
\usepackage[mathb]{xlmodern}  
% Allowed to use \nathb (narrow bold) instead of \mathbf (ext. bold)

%\usepackage{enumerate}                           % It can be used
%\usepackage[shortlabels]{enumitem}         
% It can be used. But do not use both at once!
%%%%%%%%%%%%%%%%%%%%%%%%%
%\usepackage[hyphens]{url} 
\usepackage[colorlinks,citecolor=blue,urlcolor=blue,linkcolor=blue,breaklinks,bookmarks]{hyperref}
%Then in DOI numbers use "\ _2" instead of "_2"!
\newcommand\DOI[2]{DOI: \href{#1#2}{#2}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% For unnumbered references
\usepackage[sort,elide]{natbib}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setcounter{pubyear}{2025}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\pubonline}{XXXXXXX 30, 2025}
%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%
\newcommand*{\mies}{XXXXXXX}
\setcounter{dzien}{19}
\setcounter{rok}{2024} % 	
\newcommand*{\rmies}{XXXXXXX}
\setcounter{rdzien}{20}
\setcounter{rrok}{2025} % 	
%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand\figurename{\small Figure}
\renewcommand\tablename{\small Table}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%% Theorems, lemmas etc. %%%%%%%%%%%%%
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposition}{Proposition}[section]

\theoremstyle{remark}
\newtheorem{remark}{Remark}[section]
\newtheorem{example}{Example}[section]

\theoremstyle{definition}
\newtheorem{defn}{Definition}[section]
%%%%%%%%%%% Your LaTeX commands %%%%%%%%%%%%%%%%%%%
\newcommand{\coloneqq}{\mathrel{\mathord{:}\mathord{=}}}
\renewcommand{\qedsymbol}{$\dashv$}
%%% Your LaTeX commands
%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%% {Author(s) name(s)} and {paper title} %%%%%%%%%%%%%%
\pagestyle{myheadings}\markboth{John Smith}{Natural deduction for a certain logic}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\renewcommand\thefootnote{\fnsymbol{footnote}} % Use if you add a footnote to the name and/or title of the article. Then you must also use the command: \renewcommand\thefootnote{\arabic{footnote}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\LLPfo{01} \setcounter{page}{1} \thispagestyle{LLPrrpoA} \label{p}


%For articles with one author:
\AuthorTitle{John Smith}{Natural Deduction for a Certain Logic}

%For articles with two authors
%\twoAuthorsTitle{John Smith}{Jan Kowalski}{Natural Deduction for a Certain Logic}

%For articles with three  authors
%\twoAuthorsTitle{John Smith, Jan Kowalski}{Amelia Jones}{Natural Deduction for a Certain Logic}

\allowdisplaybreaks


\Abstract{Here should be a short abstract.}


\Keywords{the first key word; the second key word; the third key word; so on}


\section{Introduction}
SOME INTRODUCTION IS WELCOME.

%\renewcommand\thefootnote{\arabic{footnote}} % Use if you have used before: %\renewcommand\thefootnote{\fnsymbol{footnote}}

\medskip

IF QUOTES ARE NECESSARY,  PLEASE USE
\begin{quote}\small
Here the text of the quote. \quotedfrom{\citep[p.~334]{Belnap77}}
\end{quote}

\section{The title of the section}
TEXT

\section{The title of the section}
TEXT

$\vdots$

\noindent THERE MAY BE NEXT SECTIONS

\bigskip

\noindent{\bseries Acknowledgments.} FOR EXAMPLE: I would like to thank an anonymous referee for suggestions regarding earlier versions of this paper.


%Example bibliography

\bigskip

\renewcommand{\bibfont}{\small}
\setlength{\bibsep}{6pt}

\begin{thebibliography}{9}
\bibitem[Belnap(1977)]{Belnap77} Belnap, N.\ts D.,  1997, ``A useful four-valued logic'', pages 7--37 in J.\ts M.~Dunn and G.~Epstein (eds.), \textit{Modern Uses of Multiple-Valued Logic}, Boston: Reidel Publishing Company. \DOI{http://dx.doi.org/}{10.1007/978-94-010-1161-7\_2}

\bibitem[Bochvar(1981)]{Bochvar} Bochvar, D.\ts A.,  1981, ``On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus'', \textit{History and Philosophy of Logic} 2 (1--2): 87--112. English translation of Bochvar's paper of 1938. \DOI{http://dx.doi.org/}{10.1080/01445348108837023}


\bibitem[Copi et al.(2018)] {Copi} Copi, I.\ts M., C.~Cohen, and K.~McMahon, 2018, \textit{Introduction to Logic}, Fourteenth Edition, Routledge, New York. \DOI{http://dx.doi.org/}{10.4324/9781315144016}
\end{thebibliography}


%For articles with one author:
\AuthorAdressEmail{John Smith}{Department of Philosophy\\ University somewhere in the world\\
City, Country}{John.Smith@mail.com}

%For articles with two authors
%\secoundAuthorAdressEmail{Jan Kowalski}{Department of Logic\\ University somewhere in the world\\ City, Country}{Jan.Kowalski@mail.com}

%For articles with two authors
%\secoundAuthorAdressEmail{Amelia Jones}{Department of Logic\\ University somewhere in the world\\ City, Country}{Jan.Kowalski@mail.com}




\label{k}
\end{document} 