در این پایان نامه منطق گزاره ای دلخواه را که شامل رابط های منطقی است را با افزودن دو عملگر یکتایی توسیع داده و منطق بدست آمده را l می نامیم و نشان می دهیم در این منطق قضایای اعتباری و کارسازی برقرار است .