A secondary semantics for Second Order Intuitionistic Propositional Logic

DOI10.1002/MALQ.200310090zbMath1044.03004OpenAlexW2089840698MaRDI QIDQ4459601

Guido Fiorino, Mauro Ferrari, Camillo Fiorentini

Publication date: 29 March 2004

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2434/141868

zbMATH Keywords

intuitionistic logicdisjunction propertytableau calculusexplicit definability propertypropositional second-order logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A secondary semantics for Second Order Intuitionistic Propositional Logic