Focusing and Polarization in Intuitionistic Logic
From MaRDI portal
Publication:3608430
DOI10.1007/978-3-540-74915-8_34zbMath1179.03057OpenAlexW1643700551MaRDI QIDQ3608430
Publication date: 5 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_34
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
From axioms to synthetic inference rules via focusing, A unified procedure for provability and counter-model generation in minimal implicational logic, A Survey of the Proof-Theoretic Foundations of Logic Programming, An intuitionistic formula hierarchy based on high‐school identities, A focused approach to combining logics, Focused linear logic and the \(\lambda\)-calculus, A framework for linear authorization logics, A logical characterization of forward and backward chaining in the inverse method, Focusing in Linear Meta-logic, A linear/producer/consumer model of classical linear logic, Multi-focused proofs with different polarity assignments, TCC, with History, Resolution is cut-free, Focused Inductive Theorem Proving, Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method, Least and Greatest Fixed Points in Linear Logic, Focusing and polarization in linear, intuitionistic, and classical logics
