- 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
A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics
Notre Dame Journal of Formal Logic 39 (1):94-113 (1998)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics.Guillermo Badia - 2017 - Australasian Journal of Logic 14 (1).
Classical linear logics with mix separation principle.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (2):201-209.
On some models of modal logics.R. J. Baxter - 1973 - Notre Dame Journal of Formal Logic 14 (1):121-122.
Some modal logics based on a three-valued logic.Osamu Morikawa - 1988 - Notre Dame Journal of Formal Logic 30 (1):130-137.
Some results on intermediate constructive logics.Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza & Gabriele Usberti - 1989 - Notre Dame Journal of Formal Logic 30 (4):543-562.
Some remarks on weak modal logics.R. E. Jennings - 1981 - Notre Dame Journal of Formal Logic 22:309-314.
Conceptual role semantics.Gilbert Harman - 1982 - Notre Dame Journal of Formal Logic 28 (April):242-56.
Algebraic characterizations of variable separation properties.Hitoshi Kihara & Hiroakira Ono - 2008 - Reports on Mathematical Logic.
Analytics
Added to PP
2010-08-24
Downloads
30 (#132,620)
6 months
7 (#1,397,300)
2010-08-24
Downloads
30 (#132,620)
6 months
7 (#1,397,300)
Historical graph of downloads
Author's Profile
Citations of this work
Analytic Cut and Interpolation for Bi-Intuitionistic Logic.Tomasz Kowalski & Hiroakira Ono - 2017 - Review of Symbolic Logic 10 (2):259-283.
References found in this work
Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
The undecidability of the disjunction property of propositional logics and other related problems.Alexander Chagrov & Michael Zakharyaschev - 1993 - Journal of Symbolic Logic 58 (3):967-1002.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
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-6686886f5-2nz2h uwo