- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The deducibilities of S
Journal of Philosophical Logic 10 (4):409 - 422 (1981)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Bibliography of Ivo Thomas.Deirdre La Porte - 1977 - Notre Dame Journal of Formal Logic 18 (2):195-207.
Congruences In Lemmon'S So:.Jean Porte - 1980 - Notre Dame Journal of Formal Logic 21 (October):672-678.
Simplifying the axioms of the predicate calculus.Jean Porte - 1980 - Notre Dame Journal of Formal Logic 21 (2):346-350.
Schémas pour le calcul Des propositions fondé sur la conjonction et la négation.Jean Porte - 1958 - Journal of Symbolic Logic 23 (4):421-431.
The $\Omega $-system and the Ł-system of modal logic.Jean Porte - 1979 - Notre Dame Journal of Formal Logic 20 (4):915-920.
Antitheses in systems of relevant implication.Jean Porte - 1983 - Journal of Symbolic Logic 48 (1):97-99.
Analytics
Added to PP
2009-01-28
Downloads
31 (#518,388)
6 months
9 (#315,924)
2009-01-28
Downloads
31 (#518,388)
6 months
9 (#315,924)
Historical graph of downloads
Citations of this work
Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
An Intriguing Logic with Two Implicational Connectives.Lloyd Humberstone - 2000 - Notre Dame Journal of Formal Logic 41 (1):1-40.
An observation concerning porte's rule in modal logic.Rohan French & Lloyd Humberstone - 2015 - Bulletin of the Section of Logic 44 (1/2):25-31.
Unification in first-order transitive modal logic.Wojciech Dzik & Piotr Wojtylak - forthcoming - Logic Journal of the IGPL.
References found in this work
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
An introduction to modal logic: the Lemmon notes.E. J. Lemmon - 1977 - Oxford: Blackwell. Edited by Dana S. Scott.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-rskd8 uwo