scientific article

zbMATH Open0672.03008MaRDI QIDQ3824287

Sergei Artemov

Publication date: 1988

Title of this publication is not available (Why is that?)

zbMATH Keywords

Peano arithmeticprovabilityintuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items (12)

Title not available (Why is that?) ⋮ Logic of negation-complete interactive proofs (formal theory of epistemic deciders) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A proof-theoretic investigation of a logic of positions ⋮ Proof analysis in intermediate logics ⋮ On goal-directed provability in classical logic ⋮ Dag Prawitz on proofs, operations and grounding ⋮ A way to interpret Łukasiewicz logic and basic logic ⋮ Properties of Intuitionistic Provability and Preservativity Logics ⋮ Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases ⋮ On propositional quantifiers in provability logic

This page was built for publication:

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