Calcul des séquents pour logique non-alethique

Logique Et Analyse 125 (25):143-155 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sequents and bivaluations.Jean-Yves Béziau - 2001 - Logique Et Analyse 44 (176):373-394.
Sur l'analogie entre le déontique et l'aléthique: Logique Des normes, logique déontique et leur analogie avec la logique modale alethique.Georges Kalinowski - 1987 - Theoria 3 (1):45-65.
Review: Daniel Ponasse, Logique Mathematique. Elements de Base: Calcul Propositionnel, Calcul des Predicats. [REVIEW]Alfons Borgers - 1970 - Journal of Symbolic Logic 35 (4):579-580.
La Rhétorique Aristotelicienne comme “Logique Orale”.Armando Plebe - 1992 - Argumentation 6 (3):349-354.
Le logique combinatoire: du nouveau calcul'à la logique combinatoire.J. -P. Ginisti - 1993 - Kairos (Université de Toulouse-Le Mirail. Faculté de philosophie) 4:59-97.
Nouveaux résultats et nouveau regard sur la logique paraconsistante C1.Jean-Yves Béziau - 1993 - Logique Et Analyse 36:45-58.
Sequents for dependence logic.L. Fariñas del Cerro & V. Lugardon - forthcoming - Logique Et Analyse.
Schémas pour le calcul Des propositions fondé sur la conjonction et la négation.Jean Porte - 1958 - Journal of Symbolic Logic 23 (4):421-431.
Review: Jean Porte, Un Systeme de Postulats pour le Calcul des Predicats. [REVIEW]W. V. Quine - 1958 - Journal of Symbolic Logic 23 (1):41-41.
Sequents for dependence logics.Luis Fariñas del Cerro & Val Erie Lugardon - 1991 - Logique Et Analyse 133 (134):55-71.
Le « calcul » logique de Condillac.Dan Badareu - 1968 - Revue Philosophique de la France Et de l'Etranger 158:337 - 360.
Expression de la recursion primitive dans le calcul-XK.J. Ladriere - forthcoming - Logique Et Analyse.
Review: Jean Porte, Schemas Pour le Calcul des Propositions Fonde sur la Conjonction et la Negation. [REVIEW]Hugues Leblanc - 1960 - Journal of Symbolic Logic 25 (2):179-180.
La logique algorithmique et le calcul Des probabilités.Louis Couturat - 1917 - Revue de Métaphysique et de Morale 24 (3):291 - 313.

Analytics

Added to PP
2014-01-23

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Jean-Yves Beziau
Federal University of Rio de Janeiro

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references