EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 50(64) Preimenovati datoteke, proveriti paginaciju!!!, pp. 1--6 (1991)

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

The neg.-propositional calculus

Milan Tasi{\cj}

Matemati{\ch}ki Institut, Univerzitet u Skopju Skopje Yugoslavia

Abstract: Consistency and completeness are proved for an axiomatic system intended to be a formalization of propositional contradictions.

Classification (MSC2000): 03B05

Full text of the article:

Electronic fulltext finalized on: 2 Nov 2001. This page was last modified: 16 Nov 2001.

© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
© 2001 ELibM for the EMIS Electronic Edition