Pages that link to "Item:Q4490140"
From MaRDI portal
The following pages link to Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases (Q4490140):
Displaying 24 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- The provability logic for \(\Sigma_ 1\)-interpolability (Q688429) (← links)
- Provability in predicate product logic (Q884950) (← links)
- Transductions in arithmetic (Q904144) (← links)
- All finitely axiomatizable subframe logics containing the provability logic CSM\(_0\) are decidable (Q1128179) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- On propositional quantifiers in provability logic (Q1317986) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- The decision problem of provability logic with only one atom (Q1423633) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Provability logic and the completeness principle (Q1740459) (← links)
- Sequent logic of arithmetic decidability (Q1866903) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Dag Prawitz on proofs, operations and grounding (Q2288275) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- (Q2753697) (← links)
- (Q3442955) (← links)
- The Henkin Sentence (Q3454817) (← links)
- ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (Q3483261) (← links)
- (Q3809769) (← links)
- Provability logic—a short introduction (Q4378052) (← links)
- On goal-directed provability in classical logic (Q4395687) (← links)
- (Q5477944) (← links)
