SAFAVID LIBRARIES: CONTINUITY AND CHANGE IN FUNCTIONS

Safavid Libraries: Continuity and Change in Functions

Objective: The main objective of the research is to study and analyze the function and role of libraries during the Safavid dinasty.Methodology: According to the nature of the research, a library method based on books, manuscripts, and first-hand (primary) documents, has been used.Findings: The present study shows that in general, two distinct peri

read more


Unary negation

We study fragments of first-order logic and of least fixed point logic that allow only unary negation: negation of formulas with at most one free variable.These logics generalize many interesting known formalisms, including modal logic and the $mu$-calculus, as well as conjunctive JACKETS LEATHER queries and monadic Datalog.We show that satisfiabil

read more