Zobrazeno 1 - 10
of 170
pro vyhledávání: '"Batens, Diderik"'
Autor:
Batens, Diderik
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2020 Oct 01. 108(5), 903-939.
Externí odkaz:
https://www.jstor.org/stable/45379253
Autor:
Batens, Diderik, author
Publikováno v:
Confirmation, Empirical Progress, and Truth Approximation: Essays in Debate with Theo Kuipers. Volume 1. 83:221-252
Autor:
Batens, Diderik
This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion f
Externí odkaz:
http://arxiv.org/abs/cs/0207090
Autor:
Verdée, Peter, Batens, Diderik
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2016 Feb 01. 104(1), 47-78.
Externí odkaz:
http://www.jstor.org/stable/24754948
Autor:
BATENS, DIDERIK
Publikováno v:
Logique et Analyse, 2012 Apr 01. 55(218), 241-279.
Externí odkaz:
https://www.jstor.org/stable/44085189
Autor:
Batens, Diderik
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2011 Feb 01. 97(1), 61-80.
Externí odkaz:
https://www.jstor.org/stable/41475142