The following pages link to A NOTE ON DERIVABILITY CONDITIONS (Q5855755):
Displaying 5 items.
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
