Proof nets for classical logic

DOI10.1215/00294527-2021-0016OpenAlexW3171554509MaRDI QIDQ1982017FDOQ1982017

Authors: Stefano Guerrini, Andrea Masini 

Publication date: 7 September 2021

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2021-0016

zbMATH Keywords

proof theoryproof netsclassical logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Cites Work

• On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
• Title not available (Why is that?)
• Linear logic
• Strong normalization property for second order linear logic
• Locus solum: From the rules of logic to the logic of rules.
• Focusing and polarization in linear, intuitionistic, and classical logics
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• Title not available (Why is that?)
• The duality of computation
• The structure of multiplicatives
• Title not available (Why is that?)
• Proofs of strong normalisation for second order classical natural deduction
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• Polarized proof-nets and \(\lambda \mu\)-calculus
• A new deconstructive logic: linear logic
• Parsing MELL proof nets
• Title not available (Why is that?)
• Polarized and focalized linear and classical proofs
• Strong normalisation of cut-elimination in classical logic
• Proofs without syntax
• Proof Nets for Classical Logic
• Typed Lambda Calculi and Applications
• A focused approach to combining logics
• From syntactic proofs to combinatorial proofs
• Canonical proof nets for classical logic
• Proofs, tests and continuation passing style

Cited In (1)

• Proof Nets for Classical Logic

This page was built for publication: Proof nets for classical logic

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