Publications

Export 233 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is D  [Clear All Filters]
1977
Batens, Diderik. 1977. Inductie A. De Block, Have, T.T. Ten, and De Keyser, C.C. Standaard Encyclopedia voor Opvoeding en Onderwijs: 180.
Batens, Diderik. 1977. Inductie A. De Block, Have, T.T. Ten, and De Keyser, C.C. Standaard Encyclopedia voor Opvoeding en Onderwijs: 180.
Batens, Diderik. 1977. Inferentie A. De Block, Have, T.T. Ten, and De Keyser, C.C. Standaard Encyclopedie voor Opvoeding en Onderwijs: 382–383.
Batens, Diderik. 1977. Inferentie A. De Block, Have, T.T. Ten, and De Keyser, C.C. Standaard Encyclopedie voor Opvoeding en Onderwijs: 382–383.
Batens, Diderik. 1977. Verisimilitude And Meaning Relations Marc De Mey, Pinxten, Rik, Poriau, M., and Vandamme, Fernand. CC77. International Workshop on the Cognitive Viewpoint: 321–328.
1997
Kurtonina, Natasha, and Maarten De Rijke. 1997. Bisimulations For Temporal Logic. Journal of Logic, Language and Information 6: 403–425.
Kurtonina, Natasha, and Maarten De Rijke. 1997. Simulating Without Negation.. Journal of logic and computation 7: 501–522.
2000
Van Bendegem, Jean Paul. 2000. Alternative Mathematics: The Vague Way. Décio Krause, French, Steven, and Doria, Francisco A. Festschrift in honor of Newton C.A. da Costa on the occasion of his seventieth birthday 125: 19–31.
Batens, Diderik, and Joke Meheus. 2000. A Tableau Method For Inconsistency-Adaptive Logics Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.
2002
Meheus, Joke. 2002. An Adaptive Logic For Pragmatic Truth Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent: 167–185.
Provijn, Dagmar. 2002. How To Obtain Elegant Fitch-Style Proofs From Goal Directed Ones.. In Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, H. Blockeel and Denecker, M.

Pages