Original Paper

A secondary semantics for Second Order Intuitionistic Propositional Logic

  1. Mauro Ferrari1,
  2. Camillo Fiorentini,
  3. Guido Fiorino2

Article first published online: 3 FEB 2004

DOI: 10.1002/malq.200310090

Issue

Mathematical Logic Quarterly

Mathematical Logic Quarterly

Volume 50, Issue 2, pages 202–210, March 2004

Additional Information

How to Cite

Ferrari, M., Fiorentini, C. and Fiorino, G. (2004), A secondary semantics for Second Order Intuitionistic Propositional Logic. Mathematical Logic Quarterly, 50: 202–210. doi: 10.1002/malq.200310090

Author Information

  1. 1

    Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, via Comelico 39, 20135 Milano, Italy

  2. 2

    Dipartimento di Metodi Quantitativi, Università degli Studi di Milano-Bicocca, P.zza dell'Ateneo Nuovo 1, 20126 Milano, Italy

Publication History

  1. Issue published online: 3 FEB 2004
  2. Article first published online: 3 FEB 2004
  3. Manuscript Accepted: 14 JAN 2004
  4. Manuscript Revised: 12 JAN 2004
  5. Manuscript Received: 16 MAY 2003

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (159K)

Keywords:

  • Intuitionistic logic;
  • propositional second order logic;
  • tableau calculus;
  • disjunction property;
  • explicit definability property

Abstract

In this paper we propose a Kripke-style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Get PDF (159K)