Ordered sets R and Q as bases of Kripke models
- 1 June 1987
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 46 (2) , 137-148
- https://doi.org/10.1007/bf00370376
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theoryThe Journal of Symbolic Logic, 1984
- Completeness theorems for some intermediate predicate calculiStudia Logica, 1983
- A Study of Intermediate Predicate LogicsPublications of the Research Institute for Mathematical Sciences, 1972
- Logic with truth values in A linearly ordered heyting algebraThe Journal of Symbolic Logic, 1969
- On logics intermediate between intuitionistic and classical predicate logicThe Journal of Symbolic Logic, 1959