Geometric Rules in Infinitary Logic

DOI10.1007/978-3-030-71258-7_12OpenAlexW2996703651MaRDI QIDQ5020172FDOQ5020172

Sara Negri

Publication date: 4 January 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-71258-7_12

zbMATH Keywords

infinitary logicgeometric axiomsBarr's theoremaxioms-as-rulesG3 calculi

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Cut Elimination in the Presence of Axioms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Sur quelques points d'algèbre homologique
• Title not available (Why is that?)
• Proofs and countermodels in non-classical logics
• Proof theory. 2nd ed
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Glivenko sequent classes in the light of structural proof theory
• Proof Analysis
• Title not available (Why is that?)
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Proof analysis in modal logic
• Geometrisation of first-order logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cut-free common knowledge
• Proof analysis in intermediate logics
• Sequent calculi for induction and infinite descent
• Aspects of topoi
• Dynamical method in algebra: Effective Nullstellensätze
• On the mechanization of the proof of Hessenberg's theorem in coherent logic
• Infinitary intuitionistic logic from a classical point of view
• Constructions, proofs and the meaning of logical constants
• Toposes without points
• Title not available (Why is that?)
• An interpolation theorem for denumerably long formulas
• Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• Title not available (Why is that?)
• Ancestral Logic: A Proof Theoretical Study
• The middle ground-ancestral logic
• Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
• Remarks on Barr’s Theorem: Proofs in Geometric Theories
• The Proof Theory of Common Knowledge
• From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
• Title not available (Why is that?)

Cited In (6)

• Glivenko sequent classes and constructive cut elimination in geometric logics
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Logical and set calculations in the framework of geometrical informatics paradigm
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
• On the proof theory of infinitary modal logic
• Title not available (Why is that?)

This page was built for publication: Geometric Rules in Infinitary Logic

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