Second order and higher order universal decision elements in $m$-valued logic

Notre Dame Journal of Formal Logic 18 (2):313-317 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887938

Links

PhilArchive



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

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

The binary representation of $m$-valued logic with applications to universal decision elements.John Loader - 1979 - Notre Dame Journal of Formal Logic 20 (1):216-226.
A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m‐Valued Logic.John Loader - 1974 - Mathematical Logic Quarterly 20 (1‐3):1-18.
Partial universal decision elements.J. C. Muzio - 1974 - Notre Dame Journal of Formal Logic 15 (1):133-140.
Classes of universal decision elements using negative substitutions.J. C. Muzio - 1979 - Notre Dame Journal of Formal Logic 20 (2):314-320.
Independence in higher-order subclassical logic.David Ballard - 1985 - Notre Dame Journal of Formal Logic 26 (4):444-454.
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
Pure second-order logic.Nicholas Denyer - 1992 - Notre Dame Journal of Formal Logic 33 (2):220-224.
A note on the Hanf number of second-order logic.Matt Kaufmann - 1985 - Notre Dame Journal of Formal Logic 26 (4):305-308.
The theory of homogeneous simple types as a second-order logic.Nino B. Cocchiarella - 1979 - Notre Dame Journal of Formal Logic 20 (3):505-524.
A substitution free axiom set for second order logic.Nino B. Cocchiarella - 1969 - Notre Dame Journal of Formal Logic 10 (1):18-30.

Analytics

Added to PP
2010-08-24

Downloads
13 (#1,066,279)

6 months
13 (#219,908)

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