Pages that link to "Item:Q1653651"
From MaRDI portal
The following pages link to Truth, partial logic and infinitary proof systems (Q1653651):
Displaying 14 items.
- The incompleteness of Misra and Chandy's proof systems (Q1064051) (← links)
- Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626) (← links)
- Kripke and the logic of truth (Q1107507) (← links)
- Recursive \(\omega\)-rule for proof systems (Q1119627) (← links)
- Partial monotonic protothetics (Q1840652) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Infinity and verifiability in Carnap's inductive logic (Q2446679) (← links)
- More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
- Degrees of Truth, Ill-Known Sets and Contradiction (Q3557681) (← links)
- Frege structures for partial applicative theories (Q4934811) (← links)
- Theories of truth for countable languages which conform to classical logic (Q5148116) (← links)
- Truth definitions in finite models (Q5311718) (← links)
- Hybrid Logics with Infinitary Proof Systems (Q5477452) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)