Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases

DOI10.1111/J.1744-6163.2008.00189.XMaRDI QIDQ4490140zbMATH OpenOpenAlexWikidataFDO

Authors Vítězslav Švejdar

Publication date 23 July 2000

Published in Perspectives in Psychiatric Care (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1744-6163.2008.00189.x

zbMATH Keywords

surveydecision procedureprovability logicGentzen calculusformal provabilityapplications of metamathematics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 4099259
• Logic of proofs and provability
• Provability logics with quantifiers on proofs
• The Logic of Provability
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 1170091
• Provability and modal logic
• Around provability logic
• scientific article; zbMATH DE number 1114356
• On propositional quantifiers in provability logic

Cited in

(27)

• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
• The provability logic for \(\Sigma_ 1\)-interpolability
• scientific article; zbMATH DE number 7668091 (Why is no real title available?)
• On two models of provability
• Transductions in arithmetic
• Franco Montagna's work on provability logic and many-valued logic
• scientific article; zbMATH DE number 4079379 (Why is no real title available?)
• On the provability logic of bounded arithmetic
• scientific article; zbMATH DE number 5157044 (Why is no real title available?)
• Provability logic and the completeness principle
• Sequent logic of arithmetic decidability
• On propositional quantifiers in provability logic
• The Logic of Provability
• scientific article; zbMATH DE number 5037198 (Why is no real title available?)
• The arithmetics of a theory
• scientific article; zbMATH DE number 1670501 (Why is no real title available?)
• On bimodal logics of provability
• Provability in predicate product logic
• Provability: The emergence of a mathematical modality
• Provability and modal logic
• On goal-directed provability in classical logic
• Lewis meets Brouwer: constructive strict implication
• Non-deterministic logic of informal provability has no finite characterization
• The Henkin sentence
• The decision problem of provability logic with only one atom
• Dag Prawitz on proofs, operations and grounding
• scientific article; zbMATH DE number 3849201 (Why is no real title available?)

This page was built for publication: Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490140)