Geometric Rules in Infinitary Logic

DOI10.1007/978-3-030-71258-7_12MaRDI QIDQ5020172zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Geometrisation of first-order logic
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Infinitary first-order categorical logic
• Remarks on Barr's theorem: proofs in geometric theories
• Proof analysis beyond geometric theories: from rule systems to systems of rules

Cites work

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

Cited in

(6)

• scientific article; zbMATH DE number 4120169 (Why is no real title available?)
• 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

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)