Geodesic
The First Lecture on Non-classical Logics
The Teaching of Mathematics, IV (2001) no. 1, p. 35

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

The implication fragment of Heyting's logic is the minimal logical system for which deduction theorem holds. This is known, but not emphasized enough. In this note we present an elementary proof of this fact and propose how to use it in order to promote the concept of many-valued logics in a natural way, by giving a concept for the first lecture on this subject.
Classification : 00A35
Keywords: Non-classical logics, deduction relation, deduction theorem, Heyting's logic. 
@article{TM2_2001_IV_1_a1,
     author = {Alexandros Pefku},
     title = {The {First} {Lecture} on {Non-classical} {Logics}},
     journal = {The Teaching of Mathematics},
     pages = {35 },
     publisher = {mathdoc},
     volume = {IV},
     number = {1},
     year = {2001},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TM2_2001_IV_1_a1/}
}
TY  - JOUR
AU  - Alexandros Pefku
TI  - The First Lecture on Non-classical Logics
JO  - The Teaching of Mathematics
PY  - 2001
SP  - 35 
VL  - IV
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TM2_2001_IV_1_a1/
LA  - en
ID  - TM2_2001_IV_1_a1
ER  - 
%0 Journal Article
%A Alexandros Pefku
%T The First Lecture on Non-classical Logics
%J The Teaching of Mathematics
%D 2001
%P 35 
%V IV
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TM2_2001_IV_1_a1/
%G en
%F TM2_2001_IV_1_a1
Alexandros Pefku. The First Lecture on Non-classical Logics. The Teaching of Mathematics, IV (2001) no. 1, p. 35 . http://geodesic.mathdoc.fr/item/TM2_2001_IV_1_a1/