- 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
Unification in superintuitionistic predicate logics and its applications
Review of Symbolic Logic 12 (1):37-61 (2019)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Duality in Superintuitionistic and Modal Predicate Logics.Hiroyuki Shirasu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 223-236.
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-140.
A Remark on Peculiarity in the Functor Semantic for Superintuitionistic Predicate Logics with Equality.Dmitrij Skvortsov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 483-493.
Superintuitionistic Logics and Finite Approximability.A. V. Kuznecov & E. Mendelson - 1972 - Journal of Symbolic Logic 37 (4):757-757.
On some interpretations of classical logic.Branislav R. Boričić & B. R. Boričić - 1992 - Mathematical Logic Quarterly 38 (1):409-412.
Complexity of some problems in modal and superintuitionistic logics.Larisa Maksimova & Andrei Voronkov - 2000 - Bulletin of Symbolic Logic 6:118-119.
On Algebraisation of Superintuitionistic Predicate Logics.Dmitry Tishkovsky - 2018 - In Sergei Odintsov (ed.), Larisa Maksimova on Implication, Interpolation, and Definability. Cham, Switzerland: Springer Verlag.
Analytics
Added to PP
2018-12-04
Downloads
25 (#723,533)
6 months
11 (#532,381)
2018-12-04
Downloads
25 (#723,533)
6 months
11 (#532,381)
Historical graph of downloads
Citations of this work
An Algebraic Proof of Completeness for Monadic Fuzzy Predicate Logic.Jun Tao Wang & Hongwei Wu - forthcoming - Review of Symbolic Logic:1-27.
Unification types and union splittings in intermediate logics.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2025 - Annals of Pure and Applied Logic 176 (1):103508.
Unification in first-order transitive modal logic.Wojciech Dzik & Piotr Wojtylak - forthcoming - Logic Journal of the IGPL.
References found in this work
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
Introduction to mathematical logic, vol. I.A. Church - 1958 - Revue Philosophique de la France Et de l'Etranger 148:118-119.
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-76d885d765-crb2p uwo