14 results
WHAT IS A RULE OF INFERENCE?
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 21 December 2020, pp. 307-346
- Print publication:
- June 2021
-
- Article
- Export citation
TRANSMISSION OF VERIFICATION
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 21 July 2020, pp. 866-881
- Print publication:
- December 2021
-
- Article
- Export citation
CUT FOR CLASSICAL CORE LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 20 March 2015, pp. 236-256
- Print publication:
- June 2015
-
- Article
- Export citation
THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 20 March 2015, pp. 743-784
- Print publication:
- December 2015
-
- Article
- Export citation
CUT FOR CORE LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 02 April 2012, pp. 450-479
- Print publication:
- September 2012
-
- Article
- Export citation
BELIEF-REVISION, THE RAMSEY TEST, MONOTONICITY, AND THE SO-CALLED IMPOSSIBILITY RESULTS
-
- Journal:
- The Review of Symbolic Logic / Volume 1 / Issue 4 / December 2008
- Published online by Cambridge University Press:
- 01 December 2008, pp. 402-423
- Print publication:
- December 2008
-
- Article
- Export citation
On the degeneracy of the full AGM-theory of theory-revision
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-676
- Print publication:
- June 2006
-
- Article
- Export citation
Sex and the Evolution of Fair-Dealing
-
- Journal:
- Philosophy of Science / Volume 66 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 01 April 2022, pp. 391-414
- Print publication:
- September 1999
-
- Article
- Export citation
Natural deduction and sequent calculus for intuitionistic relevant logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-680
- Print publication:
- September 1987
-
- Article
- Export citation
Evolutionary v. Evolved Ethics
-
- Journal:
- Philosophy / Volume 58 / Issue 225 / July 1983
- Published online by Cambridge University Press:
- 30 January 2009, pp. 289-302
- Print publication:
- July 1983
-
- Article
- Export citation
Notes on Contributors
-
- Journal:
- Philosophy / Volume 58 / Issue 225 / July 1983
- Published online by Cambridge University Press:
- 30 January 2009, pp. 287-288
- Print publication:
- July 1983
-
- Article
-
- You have access
- Export citation
Richard E. Grandy. Advanced logic for applications. Synthese library, vol. 110. D. Reidel Publishing Company, Dordrecht and Boston1977, xiii + 168 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-716
- Print publication:
- September 1982
-
- Article
- Export citation
Causes and Logic in Epidemiological Psychiatry: 2. Causal Models and Logical Inference
-
- Journal:
- The British Journal of Psychiatry / Volume 137 / Issue 6 / December 1980
- Published online by Cambridge University Press:
- 29 January 2018, pp. 579-582
- Print publication:
- December 1980
-
- Article
- Export citation
Sortal quantification
-
-
- Book:
- Formal Semantics of Natural Language
- Published online:
- 05 November 2011
- Print publication:
- 11 December 1975, pp 46-58
-
- Chapter
- Export citation