kw.\*:("METATHEOREME")
Results 1 to 3 of 3
Selection :
A DEDUCTION RULE FOR VBTO()I=1N.BUTRICK R.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 510-512Article
THE TRANSITIVITY OF IMPLICATION IN TREE LOGICWILSON NL.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 1; PP. 106-114; BIBL. 3 REF.Article
Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes = The pragmatical criteria of sense and value of dialogical logics as the proof of the principle of adjonction = Le critère pragmatique du sens et de la valeur de la logique dialogique comme preuve du principe de l'adjonctionRAHMAN, S; RÜCKERT, H.Philosophia scientiae. 1998, Vol 3, Num 3, pp 145-170, issn 1281-2463Article