Sheffer Functions in Intuitionistic Logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (18):279-282 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680141803

Links

PhilArchive



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

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

Sheffer Functions in Intuitionistic Logic.G. Rousseau - 1968 - Mathematical Logic Quarterly 14 (18):279-282.
Onn-Valued Sheffer Functions.Roy O. Davies - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):293-298.
Sheffer functions for many-valued S5 modal logics.Gerald J. Massey - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):101-104.
Generalised functional completeness of sets ofm-valued Sheffer functions.Alan Rose - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (12):177-182.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):49-54.
Non-commutative intuitionistic linear logic.V. Michele Abrusci - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):297-318.
A Note on a Subsystem Of Intuitionistic Logic with Constant Domains.Pierluigi Minari - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):385-387.
A note on the existence property for intuitionistic logic with function symbols.L. M. Doorman - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):17-21.
A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic.Kosta Došen - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):453-456.
Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic.Robert E. Kirk - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):409-410.

Analytics

Added to PP
2016-02-04

Downloads
21 (#730,767)

6 months
1 (#1,719,665)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.
Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references