Adding proof objects and inductive definition mechanisms to frege structures

DOI10.1007/3-540-54415-1_41zbMath1496.03251OpenAlexW1568505184MaRDI QIDQ5096212

Masahiko Sato

Publication date: 16 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54415-1_41

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (1)

Intuitionistic and classical natural deduction systems with the catch and the throw rules

Cites Work

• Program synthesis using realizability
• Parallel reductions in \(\lambda\)-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Adding proof objects and inductive definition mechanisms to frege structures