Christian G. Fermüller (fermueller-cg)

Contributions to Philosophie.ch

Bibliography

Baaz, Matthias, Fermüller, Christian G. and Zach, Richard J. 1994. “Elimination of Cuts in First-Order Finite-Valued Logics.” Journal of Information Processing and Cybernetics 29: 333–355.
Fermüller, Christian G. 2009. “Truth Value Intervals, Bets, and Dialogue Games.” in The Logica Yearbook 2008, edited by Michal Peliš, pp. 43–56. London: College Publications.
Fermüller, Christian G. 2010. “Some Critical Remarks on Incompatibility Semantics.” in The Logica Yearbook 2009, edited by Michal Peliš, pp. 81–96. London: College Publications.
Fermüller, Christian G. 2016. “Game Semantics for Vague Quantification.” in The Logica Yearbook 2015, edited by Pavel Arazim and Michal Dančák, pp. 71–86. London: College Publications.
Gottlob, Georg and Fermüller, Christian G. 1993. “Removing Redundancy from a Clause.” Artificial Intelligence 61(2): 263–289.
Leitsch, Alexander and Fermüller, Christian G. 2005. “The Resolution Principle.” in Handbook of Philosophical Logic, Volume XII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 87–173. Dordrecht: Springer.