Catalog

Record Details

Catalog Search


Lattices of intermediate and cylindric modal logics / DS-2006-02 Cover Image Book Book

Lattices of intermediate and cylindric modal logics / Academisch Proefschrift DS-2006-02 Bezhanishvili, Nick.; Res.Org.: Faculteit der Natuurwetenschappen, Wiskunde en Informatia.

Bezhanishvili, Nick. (Author). Bezhanishvili, Nick (Author.).

Record details

  • ISBN: 9057761475
  • Physical Description: 224[2] p.
  • Publisher: w. pl. Institute for Logic, Language and Computation, 2006.

Content descriptions

General Note:
With a note.
Bibliography, etc. Note:
Bibl.: 209-218 p.
Formatted Contents Note:
Lattices of intermediate logics -- Algebraic semantics for intuitionistic logic -- Universal models and frame-baed formulas -- The logic of the Bieger-Nishimura ladder -- II Lattices of culindric modal logics -- Cylindric modal logic and cylindric algebras -- Normal exstensions of S5 -- Normal exstensions of CML2 -- Axiomatization and computational complexsity -- Bibliography -- Index.

Search for related items by subject

Subject: /
/

Search for related items by series

Available copies

  • 1 of 1 copy available at United Catalog.

Holds

  • 0 current holds with 1 total copy.
Show Only Available Copies
Location Call Number / Copy Notes Barcode Shelving Location Status Due Date
Grigol Tsereteli Reading Hall ლ.მჭედლ-17 900001915882 Stacks Available -
► Awards, Reviews, & Suggested Reads
► Additional Content
▼ Shelf Browser
► MARC Record

Additional Resources