Completeness theorems for some intermediate predicate calculi
- 1 December 1983
- journal article
- research article
- Published by Springer Nature in Studia Logica
- Vol. 42 (4) , 431-441
- https://doi.org/10.1007/bf01371631
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-SemantikArchive for Mathematical Logic, 1971
- A logic stronger than intuitionismThe Journal of Symbolic Logic, 1971
- Logic with truth values in A linearly ordered heyting algebraThe Journal of Symbolic Logic, 1969