A Note on Partial Postulate Sets for Propositional Logic

Journal of Symbolic Logic 22 (3):330-331 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963661

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

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

A note on partial postulate sets for propositional logic.Stig Kanger - 1955 - Theoria 21 (2-3):99-104.
Review: Stig Kanger, A Note on Partial Postulate Sets for Propositional Logic. [REVIEW]T. Thacher Robinson - 1957 - Journal of Symbolic Logic 22 (3):330-331.
Kanger Stig. A note on partial postulate sets for propositional logic. Theoria , vol. 21 , pp. 99–104.T. Thacher Robinson - 1957 - Journal of Symbolic Logic 22 (3):330-331.
Partial monotonic protothetics.François Lepage - 2000 - Studia Logica 66 (1):147-163.
Semantic games with chance moves revisited: from IF logic to partial logic.Xuefeng Wen & Shier Ju - 2013 - Synthese 190 (9):1605-1620.
A note on finite axiomatization of partial propositional calculi.W. E. Singletary - 1967 - Journal of Symbolic Logic 32 (3):352-354.
Hypersequent calculi for intuitionistic logic with classical atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.
Relational and partial variable sets and basic predicate logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (3):843-872.
Relational and Partial Variable Sets and Basic Predicate Logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (2):843-872.
Simple characterization of functionally complete one‐element sets of propositional connectives.Petar Maksimović & Predrag Janičić - 2006 - Mathematical Logic Quarterly 52 (5):498-504.
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
It might have been Classical Logic.Diderik Batens - 2012 - Logique Et Analyse 55 (218):241.
The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions.Gisela Schäfer - 1985 - Mathematical Logic Quarterly 31 (14‐18):279-280.
Ω-operations over partial enumerated sets.Andrzej Orlicki - 1993 - Mathematical Logic Quarterly 39 (1):551-558.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,540,694)

6 months
1 (#1,471,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
Non-classical operations hidden in classical logic.Vladimir Sotirov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):309-324.

Add more citations

References found in this work

No references found.

Add more references