Peut-on trouver ce qu'on peut prouver ? : Grandes et petites énigmes mathématiques = Can we find what we prove ?SEBÖ, Andras.Recherche (Paris, 1970). 2001, Num 346, pp 64-69, issn 0029-5671Article

The standard logic of Z is inconsistentHENSON, M. C.Formal aspects of computing. 1998, Vol 10, Num 3, pp 243-247, issn 0934-5043Article

1994 Workshop on logic and computational complexity. Part 1Information and computation (Print). 1998, Vol 140, Num 1, issn 0890-5401, 94 p.Serial Issue

The Renaissance of AbductionFERRANDO, E.Human evolution. 2009, Vol 24, Num 3, pp 197-212, issn 0393-9375, 16 p.Article

Polarisation des preuves classiques et renversement = Polarization of classical proofs and reversionQUATRINI, M; TORTORA DE FALCO, L.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1996, Vol 323, Num 2, pp 113-116, issn 0764-4442Article

Enlargements of quantum logicsNAVARA, M; PTAK, P; ROGALEWICZ, V et al.Pacific journal of mathematics. 1988, Vol 135, Num 2, pp 361-369, issn 0030-8730Article

Les propositions vraies sont démontrables : Le dictionnaire des idées reçues en science = True propositions are demonstrableLESCANNE, Pierre.Recherche (Paris, 1970). 2007, Num 412, pp 44-44, issn 0029-5671, 1 p.Article

Les va-ou-vient : une généralisation des va-et-vient de Fraissé = Back-or-forth : a generalization of Fraïssé back-and-forthCHARRETTON, C; NEZONDET, F.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1998, Vol 326, Num 2, pp 137-140, issn 0764-4442Article

Recherches sur la logique universelle (Excessivité, négation, séquents) = Researches on universal logic (Excessivity, Negation, Sequents)Beziau, Jean-Yves; Andler, D.1995, 179 p.Thesis

A domain equation for bisimulationABRAMSKY, S.Information and computation (Print). 1991, Vol 92, Num 2, pp 161-218, issn 0890-5401, 58 p.Article

Labelling systems and r.e. structuresASH, C. J.Annals of pure and applied logic. 1990, Vol 47, Num 2, pp 99-119, issn 0168-0072, 21 p.Article

A lemma in the logic of actionSURENDONK, T. J.Notre Dame journal of formal logic. 1990, Vol 31, Num 2, pp 222-224, issn 0029-4527, 3 p.Article

On the structure of De Morgan monoids with corollaries on relevant logic and theoriesSLANEY, J. K.Notre Dame journal of formal logic. 1989, Vol 30, Num 1, pp 117-129, issn 0029-4527Article

A normalization theorem for set theoryBAILIN, S. C.The Journal of symbolic logic. 1988, Vol 53, Num 3, pp 673-695, issn 0022-4812Article

Believing the axioms. IIMADDY, P.The Journal of symbolic logic. 1988, Vol 53, Num 3, pp 736-764, issn 0022-4812Article

Completeness theorems for universal and implicational logics of algebras via congruencesQUACKENBUSH, R. W.Proceedings of the American Mathematical Society. 1988, Vol 103, Num 4, pp 1015-1021, issn 0002-9939Article

SimplicityPAMBUCCIAN, V.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 396-411, issn 0029-4527Article

Frege on truth and referenceYOUR GRAU, P.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 132-138, issn 0029-4527Article

On the brink of a paradox?RUSSINOFF, I. S.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 115-131, issn 0029-4527Article

Open induction and the true theory of rationalsADAMOWICZ, Z.The Journal of symbolic logic. 1987, Vol 52, Num 3, pp 793-801, issn 0022-4812Article

Properties of subtle cardinalsHENRION, C.The Journal of symbolic logic. 1987, Vol 52, Num 4, pp 1005-1019, issn 0022-4812Article

A boundedness theorem in ID₁(W)JAGER, G.The Journal of symbolic logic. 1986, Vol 51, Num 4, pp 942-947, issn 0022-4812Article

Axioms for the set-theoretic hierarchyVAN AKEN, J.The Journal of symbolic logic. 1986, Vol 51, Num 4, pp 992-1004, issn 0022-4812Article

Classical harmonyWEIR, A.Notre Dame journal of formal logic. 1986, Vol 27, Num 4, pp 459-482, issn 0029-4527Article

Page / 57