A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic

Alexander Victor Gheorghiu

doi:10.29007/1821

Download PDF Open PDF in browser

A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic

11 pages•Published: May 26, 2024

Alexander Victor Gheorghiu

Abstract

We give an evaluation system for the admissibility of rules in intuitionistic proportional logic. The system is based on recent work on the proof-theoretic semantics of IPL.

Keyphrases: admissibility, Inferentialism, intuitionistic logic, logic, proof theory, proof-theoretic semantics

In: Nikolaj Bjorner, Marijn Heule and Andrei Voronkov (editors). LPAR 2024 Complementary Volume, vol 18, pages 81--91

Links:	https://easychair.org/publications/paper/kQX1
	https://doi.org/10.29007/1821

BibTeX entry

@inproceedings{LPAR2024C:System_for_Evaluating_Admissibility,
  author    = {Alexander Victor Gheorghiu},
  title     = {A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic},
  booktitle = {LPAR 2024 Complementary Volume},
  editor    = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {18},
  pages     = {81--91},
  year      = {2024},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/kQX1},
  doi       = {10.29007/1821}}

Download PDF Open PDF in browser