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.

A secondary semantics for second order intuitionistic propositional logic / M. Ferrari, C. Fiorentini, G. Fiorino. - In: MATHEMATICAL LOGIC QUARTERLY. - ISSN 0942-5616. - 50:2(2004), pp. 202-210.

A secondary semantics for second order intuitionistic propositional logic

C. Fiorentini;
2004

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.
Disjunction property; Explicit definability property; Intuitionistic logic; Prepositional second order logic; Tableau calculus
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
2004
Article (author)
File in questo prodotto:
File Dimensione Formato  
2004_mlq.pdf

accesso aperto

Tipologia: Publisher's version/PDF
Dimensione 159.22 kB
Formato Adobe PDF
159.22 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/141868
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact