Automata theory approach to predicate intuitionistic logic

DOI10.1007/978-3-319-63139-4_20zbMath1485.03022arXiv1608.05698OpenAlexW2511495980MaRDI QIDQ2409748

Aleksy Schubert, Maciej Zielenkiewicz

Publication date: 13 October 2017

Full work available at URL: https://arxiv.org/abs/1608.05698

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Small model property reflects in games and automata ⋮ Hammer for Coq: automation for dependent type theory

This page was built for publication: Automata theory approach to predicate intuitionistic logic