Book
Lattices of intermediate and cylindric modal logics / Academisch Proefschrift DS-2006-02 Bezhanishvili, Nick.; Res.Org.: Faculteit der Natuurwetenschappen, Wiskunde en Informatia.
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 | - |
You are now browsing United Catalog
|
მ. მაყაშვილის დარბაზი-170
Maro Makashvili Reading Hall
|
||
|
ჯ. შარაშ-170
Grigol Tsereteli Reading Hall
|
ი. დოლიძე -170 (მინაწერით)
Grigol Tsereteli Reading Hall
|
|
|
გ.ჯაფ - 1700
Grigol Tsereteli Reading Hall
|
