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

11 pages•Published: May 26, 2024

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 theoretic semantics, proof theory

In: Nikolaj Bjørner, 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_Evaluating_Admissibility_Rules,
  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ørner and Marijn Heule and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {18},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/kQX1},
  doi       = {10.29007/1821},
  pages     = {81-91},
  year      = {2024}}

Download PDF Open PDF in browser