On Kreisel's notion of validity in post systems

Dov M. Gabbay

doi:10.1007/BF02282491

On Kreisel's notion of validity in post systems

Dov M. Gabbay

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

This paper investigates various interpretations of HPC (Heyting's predicate calculus) and mainly of HPC₀ (Heyting's propositional calculus) in Post systems. §1 recalls some background material concerning HPC including the Kripke and Beth interpretations, and later sections study the various interpretations available.

Original language	English
Pages (from-to)	285-295
Number of pages	11
Journal	Studia Logica
Volume	35
Issue number	3
DOIs	https://doi.org/10.1007/BF02282491
State	Published - Sep 1976

Access to Document

10.1007/BF02282491

Cite this

@article{d7ccb19fedfc4e2d9de873e153d8905c,

title = "On Kreisel's notion of validity in post systems",

abstract = "This paper investigates various interpretations of HPC (Heyting's predicate calculus) and mainly of HPC0 (Heyting's propositional calculus) in Post systems. §1 recalls some background material concerning HPC including the Kripke and Beth interpretations, and later sections study the various interpretations available.",

author = "Gabbay, {Dov M.}",

year = "1976",

month = sep,

doi = "10.1007/BF02282491",

language = "אנגלית",

volume = "35",

pages = "285--295",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - On Kreisel's notion of validity in post systems

AU - Gabbay, Dov M.

PY - 1976/9

Y1 - 1976/9

N2 - This paper investigates various interpretations of HPC (Heyting's predicate calculus) and mainly of HPC0 (Heyting's propositional calculus) in Post systems. §1 recalls some background material concerning HPC including the Kripke and Beth interpretations, and later sections study the various interpretations available.

AB - This paper investigates various interpretations of HPC (Heyting's predicate calculus) and mainly of HPC0 (Heyting's propositional calculus) in Post systems. §1 recalls some background material concerning HPC including the Kripke and Beth interpretations, and later sections study the various interpretations available.

UR - http://www.scopus.com/inward/record.url?scp=34250389257&partnerID=8YFLogxK

U2 - 10.1007/BF02282491

DO - 10.1007/BF02282491

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:34250389257

SN - 0039-3215

VL - 35

SP - 285

EP - 295

JO - Studia Logica

JF - Studia Logica

IS - 3

ER -

On Kreisel's notion of validity in post systems

Abstract

Access to Document

Other files and links

Fingerprint

Cite this