in the spirit of equating theories with categories and models with certain (“logical”) functors. We contend that much of logic (model theory) can and should be expressed this way. On the other hand, we freely
Non-wellfounded sets are elements of a Universe a la Zermelo-Fraenkel in which the Foundation Axiom is replaced by the Antifoundation Axiom AFA of AAxcizo8m8]X).1 of Forti and Honsell FH83] (or by the Antifoundation Our system, when restricted to the type of CCS-like processes, can ...
that is, sets that allow for duplicate occurrences of identical elements. The analysis is couched in Hybrid Type-Logical Categorial Grammar. The flexible syntax-semantics interface of this framework enables an analysis of ‘respective’ readings and related phenomena which, for the...
In short, Boolean semantics provides the tools to represent the distinction between what is known and what is not known to an agent about a specific event of interest. We thus identify events, the bearers of probability, with the elements θ,ϕθ,ϕ , etc. of the set of sentences ...
The connectives, that is, what is usually defined as the symbolic logical operators of implication, conjunction and disjunction, all correspond in LIR to real operators on real elements in the evolution of real dynamic processes. Accordingly, these operators are, also, subject to being actualized,...
In LIR, the connectives, that is, what is usually defined as the symbolic logical operators of implication, conjunction and disjunction, all correspond to real operators on real elements in the evolution of real dynamic processes. Accordingly, these operators are, also, subject to being actualized...