Pages that link to "Item:Q4295253"
From MaRDI portal
The following pages link to PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC (Q4295253):
Displaying 6 items.
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- (Q3442955) (← links)
- A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic (Q4809578) (← links)
- From arithmetic expressions to propositional formulae (Q5040699) (← links)
- Informational logic for automated reasoning (Q5236445) (← links)