A syntactic characterization of Kleene's strong connectives with two designated values

Mathematical Logic Quarterly 21 (1):181-184 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19750210124

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

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

An abstract approach to bivalence.Jan Woleński - 2014 - Logic and Logical Philosophy 23 (1):3-14.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Canonical Constructive Systems ⋆.Arnon Avron - unknown
Proof-functional connectives and realizability.Franco Barbanera & Simone Martini - 1994 - Archive for Mathematical Logic 33 (3):189-211.
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
Kleene's three valued logics and their children.Melvin Fitting - unknown
Simple characterization of functionally complete one‐element sets of propositional connectives.Petar Maksimović & Predrag Janičić - 2006 - Mathematical Logic Quarterly 52 (5):498-504.
The Real Truth About the Unreal Future.Rachael Briggs & Graeme A. Forbes - 2012 - In Karen Bennett & Dean W. Zimmerman (eds.), Oxford Studies in Metaphysics volume 7. Oxford, GB: Oxford University Press.
Syntax in the brain: Linguistic versus neuroanatomical specificity.Angela D. Friederici & D. Yves von Cramon - 2000 - Behavioral and Brain Sciences 23 (1):32-33.
Syntactic characterization of closure under connected limits.Michel Hébert - 1991 - Archive for Mathematical Logic 31 (2):133-143.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.

Analytics

Added to PP
2013-11-24

Downloads
14 (#1,011,984)

6 months
4 (#846,927)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proclus and the neoplatonic syllogistic.John N. Martin - 2001 - Journal of Philosophical Logic 30 (3):187-240.

Add more citations

References found in this work

On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
Polish logic.Storrs McCall (ed.) - 1967 - Oxford,: Clarendon P..
Polish Logic 1920-1939.Storrs Mccall - 1970 - Revue Philosophique de la France Et de l'Etranger 160:495-495.
A semantic theory of sortal incorrectness.R. H. Thomason - 1972 - Journal of Philosophical Logic 1 (2):209 - 258.

View all 6 references / Add more references