Publications

Export 823 results:
Author [ Title(Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
Carnielli, Walter A, João Marcos, and Itala MLoffred D'Ottaviano. 2001. A Taxonomy Of C-Systems Walter A Carnielli and Coniglio, Marcelo E. Paraconsistency. The Logical Way to the Inconsistent: 1-94.
Carnielli, Walter A, and João Marcos. 2001. Tableau Systems For Logics Of Formal Inconsistency Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.
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.
S
Van Bouwel, Jeroen, and Barbara Verdonck. 2002. Subject Ingebed? Over Het Methodologisch Individualisme In De Sociale Wetenschappen. Rob Devos and Braeckman, Antoon. De terugkeer van het subject? Recente Ontwikkelingen binnen de filosofie: 169–179.
De Mol, Liesbeth. 2007. Study Of Limits Of Solvability In Tag Systems. In Lecture Notes in Computer Science, Lecture Notes in Computer Science, Durand J Lose and Margenstern, M. Springer.
Batens, Diderik. 1975. 161 Werken uitgegeven door de Faculteit van de Letteren en Wijsbegeerte, Rijksuniversiteit Gent Studies In The Logic Of Induction And In The Logic Of Explanation. Containing A New Theory Of Meaning Relations. Brugge: De Tempel.
Batens, Diderik. 1987. The Structure Of Our Knowledge System Fernand Vandamme. Communication and Cognition. Applied Epistemology: 101.
Wieland, Jan Willem. 2013. Strong And Weak Regress Arguments. Logique & Analyse 56: 439–461.

Pages