Formally defined operations in Kripke models

Notre Dame Journal of Formal Logic 14 (4):467-480 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891101

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Luis E. Sanchis. Types in combinatory logic. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 161–180.Jean Ladrière - 1967 - Journal of Symbolic Logic 32 (3):420-421.
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.Kosta Došen - 1991 - Notre Dame Journal of Formal Logic 32 (4):580-597.
Finite Kripke models of HA are locally PA.E. C. W. Krabbe - 1986 - Notre Dame Journal of Formal Logic 27:528-532.
Some preservation results for classical and intuitionistic satisfiability in Kripke models.Zoran Marković - 1983 - Notre Dame Journal of Formal Logic 24 (3):395-398.
The Gentzen-Kripke construction of the intermediate logic LQ.Seiki Akama - 1991 - Notre Dame Journal of Formal Logic 33 (1):148-153.
Kripke on contingent a priori truths.Sitansu S. Chakravarti - 1979 - Notre Dame Journal of Formal Logic 20 (4):773-776.
Mechanizing logic. I. Map logic extended formally to relational arguments.John Rybak & Janet Rybak - 1984 - Notre Dame Journal of Formal Logic 25 (3):250-264.
Conditionally-restricted operations.J. L. Mackie - 1961 - Notre Dame Journal of Formal Logic 2 (4):236-243.
Arithmetic operations on ordinals.Martin M. Zuckerman - 1975 - Notre Dame Journal of Formal Logic 16 (4):578-582.
Kripke-type semantics for Da Costa's paraconsistent logic "C" w.Matthias Baaz - 1986 - Notre Dame Journal of Formal Logic 27:523-527.

Analytics

Added to PP
2010-08-24

Downloads
26 (#145,883)

6 months
16 (#899,032)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references