Proofs and surfaces

, , , , , &
Annals of Pure and Applied Logic 171 (9):102845 (2020)
  Copy   BIBTEX

Abstract

A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Δ-complexes. The Euclidean and projective interpretations of the sequents are defined and a soundness result is proved. This system is decidable and its provable sequents deliver incidence results. A cyclic operad structure tied to this system is presented by generators and relations.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102845

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Higher-order sequent-system for intuitionistic modal logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.
Proofnets for S5: sequents and circuits for modal logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005. Cambridge: Cambridge University Press. pp. 151-172.
Strong negation in intuitionistic style sequent systems for residuated lattices.Michał Kozak - 2014 - Mathematical Logic Quarterly 60 (4-5):319-334.
An analysis of exponentials based on extended sequents.S. Guerrini, S. Martini & A. Masini - 1998 - Logic Journal of the IGPL 6 (5):735-754.
Rule-Generation Theorem and its Applications.Andrzej Indrzejczak - 2018 - Bulletin of the Section of Logic 47 (4):265-281.
Modal sequents and definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
Loop-Check Specification for a Sequent Calculus of Temporal Logic.Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė & Haroldas Giedra - 2022 - Studia Logica 110 (6):1507-1536.
Sequents for non-wellfounded mereology.Paolo Maffezioli - 2016 - Logic and Logical Philosophy 25 (3):351-369.
An Analytic Calculus for the Intuitionistic Logic of Proofs.Brian Hill & Francesca Poggiolesi - 2019 - Notre Dame Journal of Formal Logic 60 (3):353-393.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.

Analytics

Added to PP
2020-06-03

Downloads
25 (#855,460)

6 months
5 (#1,002,523)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The structure of multiplicatives.Vincent Danos & Laurent Regnier - 1989 - Archive for Mathematical Logic 28 (3):181-203.
A minimal classical sequent calculus free of structural rules.Dominic Hughes - 2010 - Annals of Pure and Applied Logic 161 (10):1244-1253.

Add more references