Term Logic with Choice Operator

Journal of Symbolic Logic 36 (4):679-680 (1971)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2272489
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,952
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Review: Hans Hermes, Term Logic with Choice Operator. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):679-680.
Algebraic Analysis of The Term Logic with Choice Operator.Dietrich Schwartz - 1981 - Mathematical Logic Quarterly 27 (22):345-352.
The Logic of Choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.
S-Storage Operators.Karim Nour - 1998 - Mathematical Logic Quarterly 44 (1):99-108.
Term-Forming Operators in First Order Logic.David Michael Devidi - 1994 - Dissertation, The University of Western Ontario (Canada)
Axioms for Deliberative Stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
A Topological Logic of Action.Krister Segerberg - 1984 - Studia Logica 43 (4):415 - 419.
The Axiom of Choice in Quantum Theory.Norbert Brunner, Karl Svozil & Matthias Baaz - 1996 - Mathematical Logic Quarterly 42 (1):319-340.
Absurdity as Unary Operator.Sergei P. Odintsov - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):225-242.
What is so Special with the Powerset Operation?Athanassios Tzouvaras - 2004 - Archive for Mathematical Logic 43 (6):723-737.
Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.
Intuitionistic Choice and Restricted Classical Logic.Ulrich Kohlenbach - 2001 - Mathematical Logic Quarterly 47 (4):455-460.
Remarks on Variable Binding Term Operators.Celina Abar & Mineko Yamashita - 1986 - Bulletin of the Section of Logic 15 (4):145-149.

Analytics

Added to PP index
2015-02-05

Total views
3 ( #1,180,091 of 2,266,402 )

Recent downloads (6 months)
1 ( #849,232 of 2,266,402 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature