Result 1 to 20 of 36 total
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II. (English)
Stud. Log. 64, No.2, 151-172 (2000).
1
Algebraic Kripke sheaf semantics for non-classical predicate logics. (English)
Stud. Log. 63, No.3, 387-416 (1999).
2
Addendum to the paper “Belnap’s four-valued logic and De Morgan lattices". (English)
Log. J. IGPL 7, No.5, 671-672 (1999).
3
Ultraproducts of ${\bbfZ}$ with an application to many-valued logics. (English)
J. Algebra 219, No.1, 214-233 (1999).
4
Definitional equivalence and algebraizability of generalized logical systems. (English)
Ann. Pure Appl. Logic 98, No.1-3, 1-68 (1999); erratum ibid. 102, No.3, 283-284 (2000).
5
A modal characterization of Peirce algebras. (English)
Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 109-123 (1999).
6
Symmetric-intuitionistic connectives. (English)
Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24‒29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 267-277 (1999).
7
Subdirectly irreducible modal algebras and initial frames. (English)
Stud. Log. 62, No.2, 269-282 (1999).
8
Interpolation in algebraizable logics semantics for non-normal multi-modal logic. (English)
J. Appl. Non-Class. Log. 8, No.1-2, 67-105 (1998).
9
Equational reasoning in non-classical logics. (English)
J. Appl. Non-Class. Log. 8, No.1-2, 27-66 (1998).
10
On the algebraizability of annotated logics. (English)
Stud. Log. 59, No.3, 359-386 (1997).
11
Saturatedness in cylindric algebraic model theory. (English)
Log. J. IGPL 5, No.1, 25-48 (1997).
12
Belnap’s four-valued logic and De Morgan lattices. (English)
Log. J. IGPL 5, No.3, 413-440 (1997).
13
A fine-structure analysis of first-order logic. (English)
Marx, Maarten (ed.) et al., Arrow logic and multi-modal logic. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 221-247 (1996).
14
Finitely generated Magari algebras and arithmetic. (English)
Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26‒30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 137-160 (1996).
15
Polymodal lattices and polymodal logic. (English)
Math. Log. Q. 42, No.2, 219-233 (1996).
16
Cylindric modal logic. (English)
J. Symb. Log. 60, No.2, 591-623 (1995).
17
Atoms of tense algebras. (English)
Algebra Univers. 28, No.1, 52-78 (1991).
18
An almost general splitting theorem for modal logic. (English)
Stud. Log. 49, No.4, 455-470 (1990).
19
Magari and $Δ$-pseudo-Boolean algebras. (English)
Sib. Math. J. 31, No.4, 623-628 (1990); translation from Sib. Mat. Zh. 31, No.4(182), 111-117 (1990).
20
Result 1 to 20 of 36 total
Start
Contact
Print
General Help
