Geometric Rules in Infinitary Logic

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

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)

Related Items (4)

Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ On the proof theory of infinitary modal logic

Cites Work

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

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