×

Found 16 Documents (Results 1–16)

Completeness and incompleteness in the bimodal base \({\mathcal L}(R,-R)\). (English) Zbl 0788.03018

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 311-326 (1990).
MSC:  03B45
PDFBibTeX XMLCite

A note on Boolean modal logic. (English) Zbl 0777.03005

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 299-309 (1990).
MSC:  03B45 03B25
PDFBibTeX XMLCite

Semantics of non-classical first order predicate logics. (English) Zbl 0788.03022

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 105-116 (1990).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Main Field