Show
Sort by
-
Causal Discovery Using Adaptive Logics. Towards a more realistic heuristics for human causal learning
-
Direct dynamic proofs for classical compatibility
-
Applications of the Adaptive Logic for Causal Discovery
-
Pushing the Search Paths in the Proofs. A Study in Proof Heuristics
-
A Strengthening of the Rescher--Manor Consequence Relations
-
Proof Theories for Some Prioritized Consequence Relations
-
Paraconsistent Compatibility
-
First Flemish-Polish Logico-Philosophical Workshop 1999.
-
Why the largest number imaginable is still a finite number
-
Explanatory Proofs in Mathematics