<style face="normal" font="default" size="100%">Non-deterministic logic of informal provability has no finite characterization</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Non-deterministic logic of informal provability has no finite characterization</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Paradoxes of informal provability and many-valued indeterministic provability logic</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Tree-like proof systems for finitely-many valued deterministic and indeterministic consequence relations</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Logics of (formal and informal) provability</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Many-valued logic of informal provability: a non-deterministic strategy</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Proof systems for BAT consequence relations </style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Philosophical Aspects of an Alleged Connection Between the Axiom of Choice and Predicting the Future</style>