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 | - |
| LDR | 00620cam a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 310286 | ||
| 003 | GUL | ||
| 005 | 20250123090119.0 | ||
| 020 | . | ‡a9057761475 | |
| 080 | 0 | . | ‡a510.6 |
| 092 | . | ‡aB-34 | |
| 100 | 1 | . | ‡aBezhanishvili, Nick. |
| 245 | 1 | 0. | ‡aLattices of intermediate and cylindric modal logics / ‡kAcademisch Proefschrift ‡nDS-2006-02 ‡cBezhanishvili, Nick.; Res.Org.: Faculteit der Natuurwetenschappen, Wiskunde en Informatia. |
| 260 | . | ‡aw. pl. ‡bInstitute for Logic, Language and Computation, ‡c2006. | |
| 300 | . | ‡a224[2] p. | |
| 500 | . | ‡aWith a note. | |
| 504 | . | ‡aBibl.: 209-218 p. | |
| 505 | 2 | . | ‡aLattices 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. |
| 650 | 1 | 4. | ‡a/ |
| 650 | 2 | 4. | ‡a/ |
| 700 | 1 | . | ‡aBezhanishvili, Nick ‡eAuthor. |
| 830 | 0. | ‡aლერი მჭედლიშვილის კოლექცია. შემომწირველი ლ. გაფრინდაშვილი. | |
| 910 | . | ‡aეკატერინე მჭედლიშვილი. | |
| 901 | . | ‡a310286 ‡bAUTOGEN ‡c310286 ‡tbiblio | |
