Switch to: References

Add citations

You must login to add citations.
  1. General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):1-5.
    This special issue on general proof theory collects papers resulting from the conference on general proof theory held in November 2015 in Tübingen.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Jacobson Radical of a Propositional Theory.Giulio Fellin, Peter Schuster & Daniel Wessel - 2022 - Bulletin of Symbolic Logic 28 (2):163-181.
    Alongside the analogy between maximal ideals and complete theories, the Jacobson radical carries over from ideals of commutative rings to theories of propositional calculi. This prompts a variant of Lindenbaum’s Lemma that relates classical validity and intuitionistic provability, and the syntactical counterpart of which is Glivenko’s Theorem. The Jacobson radical in fact turns out to coincide with the classical deductive closure. As a by-product we obtain a possible interpretation in logic of the axioms-as-rules conservation criterion for a multi-conclusion Scott-style entailment (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark