Show
Sort by
-
- Journal Article
- A1
- open access
Informal provability and dialetheism
-
- Journal Article
- A2
- open access
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability
-
Modular non-deterministic semantics for T, TB, S4, S5 and more
-
Non-deterministic logic of informal provability has no finite characterization
-
- Journal Article
- A1
- open access
Tree-like proof systems for finitely-many valued non-deterministic consequence relations