A refined interpretation of intuitionistic logic by means of atomic polymorphism

DOI10.1007/s11225-019-09858-1zbMath1479.03006OpenAlexW2923004144MaRDI QIDQ2186692

Gilda Ferreira, José Espírito Santo

Publication date: 9 June 2020

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1822/73100

zbMATH Keywords

permutative conversionatomic system Finstantiation overflow

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Related Items

Unnamed Item ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives

Cites Work

• Commuting conversions vs. the standard conversions of the ``good connectives
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• A foundational delineation of poly-time
• Rasiowa-Harrop disjunction property
• Comments on predicative logic
• Extensional Rewriting with Sums
• η-conversions of IPC implemented in atomic F
• Atomic polymorphism
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item