Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases

DOI10.1111/J.1744-6163.2008.00189.XzbMATH Open0947.03076OpenAlexW1986761274WikidataQ46338981 ScholiaQ46338981MaRDI QIDQ4490140FDOQ4490140

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

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

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)

Cited In (27)

• The provability logic for \(\Sigma_ 1\)-interpolability
• Title not available (Why is that?)
• On two models of provability
• Transductions in arithmetic
• Franco Montagna's work on provability logic and many-valued logic
• Title not available (Why is that?)
• On the provability logic of bounded arithmetic
• Title not available (Why is that?)
• Provability logic and the completeness principle
• Sequent logic of arithmetic decidability
• The Logic of Provability
• On propositional quantifiers in provability logic
• Title not available (Why is that?)
• The arithmetics of a theory
• Title not available (Why is that?)
• On bimodal logics of provability
• Provability and modal logic
• On goal-directed provability in classical logic
• Provability in predicate product logic
• Provability: The emergence of a mathematical modality
• 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
• Title not available (Why is that?)
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS

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)