- 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
Twelve papers in logic and algebra
A. F. Lavrik (ed.)
Providence: American Mathematical Society (1979)
Abstract
(2) VoL ll3, l979 PROPERTIES OF SOME SUBSYSTEMS OF CLASSICAL AND INTUITIONISTIC PROPOSITIONAL CALCULI* MI SEMENENKO Preface In both classical and ...Other Versions
No versions found
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
M. I. Séménénko. Svojstva nékotoryh podlogik klassičéskogo i intuicionistskogo isčislénij vyskazyvanij (Properties of some sublogics of the classical and intuitionistic propositional calculi). Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 16 (1970), pp. 201–238. [REVIEW]Alan Ross Anderson - 1974 - Journal of Symbolic Logic 39 (2):351-352.
On undecidability of the propositional logic of an associative binary modality.Michael Kaminski - 2024 - Archive for Mathematical Logic 63 (7):837-857.
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors.Norihiro Kamide & Sara Negri - 2025 - Studia Logica 113 (6):1783-1811.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
Peirce’s Calculi for Classical Propositional Logic.M. A. Minghui & Ahti-Veikko Pietarinen - 2020 - Review of Symbolic Logic 13 (3):509-540.
Intuitionistic Predicate Logic with Decidable Propositional Formulas.Alexander Sakharov - 2007 - Reports on Mathematical Logic.
Kiyoshi Iséki. Algebraic formulations of propositional calculi. Proceedings of the Japan Academy, vol. 41 , pp. 803–807. - Kiyoshi Iséki. Axiom systems of B-algebra. Proceedings of the Japan Academy, vol. 41 , pp. 808–811. - Kiyoshi Iséki. A characterization of Boolean algebra. Proceedings of the Japan Academy, vol. 41 , pp. 893–897. - Yoshinari Arai and Kiyoshi Iséki. Axiom systems of B-algebra. II. Proceedings of the Japan Academy, vol. 41 , pp. 908–910.Alfred Horn - 1969 - Journal of Symbolic Logic 33 (4):625-626.
On a generalized cylindrical algebra and intuitionistic logic.Jerzy Kotas & August Pieczkowski - 1966 - Studia Logica 18 (1):73 - 81.
Hypersequent calculi for intuitionistic logic with classical atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.
A proof-search procedure for intuitionistic propositional logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
Analytics
Added to PP
2009-01-28
Downloads
44 (#1,294,647)
6 months
6 (#1,539,328)
2009-01-28
Downloads
44 (#1,294,647)
6 months
6 (#1,539,328)
Historical graph of downloads
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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