Geodesic
The Neg.-propositional Calculus
Publications de l'Institut Mathématique, _N_S_50 (1991) no. 64, p. 1

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Consistency and completeness are proved for an axiomatic system intended to be a formalization of propositional contradictions.
Classification : 03B05 
@article{PIM_1991_N_S_50_64_a0,
     author = {Milan Tasi\'c},
     title = {The {Neg.-propositional} {Calculus}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {1 },
     publisher = {mathdoc},
     volume = {_N_S_50},
     number = {64},
     year = {1991},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1991_N_S_50_64_a0/}
}
TY  - JOUR
AU  - Milan Tasić
TI  - The Neg.-propositional Calculus
JO  - Publications de l'Institut Mathématique
PY  - 1991
SP  - 1 
VL  - _N_S_50
IS  - 64
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1991_N_S_50_64_a0/
LA  - en
ID  - PIM_1991_N_S_50_64_a0
ER  - 
%0 Journal Article
%A Milan Tasić
%T The Neg.-propositional Calculus
%J Publications de l'Institut Mathématique
%D 1991
%P 1 
%V _N_S_50
%N 64
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1991_N_S_50_64_a0/
%G en
%F PIM_1991_N_S_50_64_a0
Milan Tasić. The Neg.-propositional Calculus. Publications de l'Institut Mathématique, _N_S_50 (1991) no. 64, p. 1 . http://geodesic.mathdoc.fr/item/PIM_1991_N_S_50_64_a0/