- 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
Propositional Logics Related to Heyting's and Johansson's
Theoria 34 (1):26-61 (1968)
Abstract
This article has no associated abstract. (fix it)Author's Profile
DOI
10.1111/j.1755-2567.1968.tb00337.x
My notes
Similar books and articles
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic.Albert Visser - 2006 - Notre Dame Journal of Formal Logic 47 (3):299-309.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic.Jacek Hawranek - 1987 - Studia Logica 46 (4):283 - 289.
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Analytics
Added to PP
2010-09-13
Downloads
73 (#170,350)
6 months
1 (#480,066)
2010-09-13
Downloads
73 (#170,350)
6 months
1 (#480,066)
Historical graph of downloads
Author's Profile
Citations of this work
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67-78.
Quine and Slater on paraconsistency and deviance.Francesco Paoli - 2003 - Journal of Philosophical Logic 32 (5):531-548.
References found in this work
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):250-264.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.
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-5ffd8f9497-cr6sc N