Tims has been studied by logicians for a long time and recently it has been modelled in more and more researches in AI. There exists a gap between the logics built by temporal logicians and those used in AI. This paper aims at filing this gap and providing a formal study on temporal logics for AI. In this paper, we present a new axiomatization of Allen & Hayes' temporal logic and locate their l...

This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis of the model theory of linear logic. With this in mind, we focus on the basic definitions of category theory and categorical logic. An analysis of cartesian and cartesian closed categories and their relation to intuitionistic logic is followed by a consideration of symmetric monoida...

Paraconsistent logic and three-valued semantics: The term Paraconsistent was first used by the Peruvian philosopher Francisco Miró Quesada in the Third Latin America Conference on Mathematical Logic in 1976. A logic is called paraconsistent if there are formulas φ and ψ such that {φ,¬φ} 0 ψ. Besides other semantics, the three-valued semantics of (paraconsistent) logics have always received spec...

The mystery of consciousness has enthralled human beings from time immemorial. The formal study of consciousness had been restricted mainly to philosophers and logicians in the past. However, with the development of fields like Computers and Cognitive Science, people from different disciplines are studying this subject and shedding new light upon it. Research in Artificial Intelligence has give...

Abstract In this paper we argue that there were several currents, ideas and problems in 19th-century logic motivated John Venn to develop his famous diagrams. To end, first examine the problem of uncertainty or over-specification syllogistic became obvious Euler 19th century, numerous logicians tried solve problem. The most was attempt introduce dashed circles into solution developed for proble...

Abstract The “official” history of connexive logic was written in 2012 by Storrs McCall who argued that founded ancient logicians like Aristotle, Chrysippus, and Boethius; it further developed medieval Abelard, Kilwardby, Paul Venice; rediscovered the 19th twentieth century Lewis Carroll, Hugh MacColl, Frank P. Ramsey, Everett J. Nelson. From 1960 onwards, finally transformed into non-classical...

structures, North Holland, 1974. [19] S. Patnaik and N. Immerman, Dyn-FO: A parallel, dynamic complexity class, ACM Symp. Principles Database Systems (1994), 210–221. [20] W. J. Savitch, Relationships between nondeterministic and deterministic tape complexities, J. Comput. System Sci. 4 (1970), 177–192. [21] R. Szelepcsenyi, The method of forced enumeration for nondeterministic automata, Acta I...