References
Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, 1973.
Maksimova, L.L.: Structures with Implication. Algebra i Logika12 445–467 (1973).
Routley, R., Meyer, R.K.: The Semantics of Entailment. I. In: Lebland, H. (ed.). Thurh, Syntax, Modality. North-Holland, 1972.
Shoenfield, J.R.: Mathematical Logic. Addison-Wesley, Reading, Mass., 1967.
Szatkowski, M.: Semantical Analysis of Superrelevant Predicate Logics with Quantification. Notre Dame Journal of Formal Logic, to appear.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Szatkowski, M. Model existence theorem in superrelevant predicate logics. Arch math Logik 26, 111–121 (1987). https://doi.org/10.1007/BF02017495
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02017495