págs. 5-16
págs. 17-31
págs. 33-46
págs. 47-57
págs. 59-65
págs. 67-82
págs. 83-91
págs. 93-104
págs. 105-112
págs. 113-123
págs. 125-135
págs. 137-147
Didactical note: probabilistic conditionality in a Boolean algebra
págs. 149-157
págs. 159-172
págs. 173-182
págs. 183-192
Generalized version of the compatibility theorem: two examples
págs. 193-197
págs. 199-209
págs. 211-224
págs. 225-231
págs. 233-247
Computational logics and the philosophy of language: the problem of lexical meaning in formal semantics
págs. 249-260
págs. 261-269
págs. 271-279
The role of heuristics in automated theorem proving: J.A. Robinson's resolution principle
págs. 281-293
The process of induction as a non-classical logic's double negation: evidence from classical scientific theories
págs. 295-308
© 2001-2024 Fundación Dialnet · Todos los derechos reservados