A review of the literature indicates that linear models are frequently used in situations in which decisions are made on the basis of multiple codable inputs. These models are sometimes used normatively to aid the decision maker, as a contrast with the decision maker in the clinical vs statistical controversy, to represent the decision maker "paramorphically" and to "bootstrap" the decision maker by replacing him with his representation. Examination of the contexts in which linear models have been successfully (...) employed indicates that the contexts have the following structural characteristics in common: each input variable has a conditionally monotone relationship with the output; there is error of measurement; and deviations from optimal weighting do not make much practical difference. These characteristics ensure the success of linear models, which are so appropriate in such contexts that random linear models may perform quite well. 4 examples involving the prediction of such codable output variables as GPA and psychiatric diagnosis are analyzed in detail. In all 4 examples, random linear models yield predictions that are superior to those of human judges. (shrink)

One of the first frameworks developed for understanding the relation of science and technology to the economy has been the linear model of innovation. The model postulated that innovation starts with basic research, is followed by applied research and development, and ends with production and diffusion. The precise source of the model remains nebulous, having never been documented. Several authors who have used, improved, or criticized the model in the past fifty years rarely acknowledged or (...) cited any original source. The model usually was taken for granted. According to others, however, it comes directly from V. Bush’s Science: The Endless Frontier. This article traces the history of the linear model, suggesting that it developed in three steps corresponding to three scientific communities looking at science analytically. The article argues that statistics is a main reason the model is still alive despite criticisms, alternatives, and having been proclaimed dead. (shrink)

In this book, we present a study of linear models and algorithms to find the optimal solution for them using the concepts of neuroscientific science. We know that the linear programming method is one of the important methods of operations research, the science that was the product of the great scientific development that our contemporary world is witnessing. The name operations research is given to the group of scientific methods used. In analyzing problems and searching for optimal solutions, (...) it is a science whose applications have achieved widespread success in various fields of life. What is meant by neutrosophic models are models in which the data are neutrosophic values, that is, variables such as in the objective function, which expresses profit if the model is a maximization model, and expresses a cost if the model is a minimization model, which in turn is affected by environmental conditions. (shrink)

I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.

One of the most important theories in linear programming is the dualistic theory and its basic idea is that for every linear model has dual linear model, so that solving the original linear model gives a solution to the dual model. Therefore, when we solving the linear programming model, we actually obtain solutions for two linear models. In this research, we present a study of the models. The neutrosophic dual (...) and the binary simplex algorithm, which works to find the optimal solution for the original and dual models at the same time. The importance of this algorithm is evident in that it is relied upon in several operations research topics, such as integer programming algorithms, some nonlinear programming algorithms, and sensitivity analysis in linear programming. (shrink)

Proper linear models are those in which predictor variables are given weights such that the resulting linear composite optimally predicts some criterion of interest; examples of proper linear models are standard regression analysis, discriminant function analysis, and ridge regression analysis. Research summarized in P. Meehl's book on clinical vs statistical prediction and research stimulated in part by that book indicate that when a numerical criterion variable is to be predicted from numerical predictor variables, proper linear models (...) outperform clinical intuition. Improper linear models are those in which the weights of the predictor variables are obtained by some nonoptimal method. The present article presents evidence that even such improper linear models are superior to clinical intuition when predicting a numerical criterion from numerical predictors. In fact, unit weighting is quite robust for making such predictions. The application of unit weights to decide what bullet the Denver Police Department should use is described; some technical, psychological, and ethical resistances to using linear models in making social decisions are considered; and arguments that could weaken these resistances are presented. (shrink)

The purpose of the article was to explain how the communicative specificity of the digital social media environment is changing the traditional Lasswell’s linear model. The changes that occur in the structural units of the model were explored. This complex was examined based on the material of 18 successful YouTube blogs dedicated to football. It was found that the modern ecosystem of sports journalism is undergoing significant transformations in terms of content and structure. And the fact that (...) modern digital journalism is already perceived by users as a part of everyday life changes the roles of content creators and those who consume this content. The element “With What Effect?” remains relevant and the closest to the classic one, which, due to interactivity and the ability to maximally objectify the effectiveness of content in social media, in modern sports journalism can become the main conceptual factor of digital narrative. (shrink)

In Sebastian Thrun, Lawrence K. Saul, and Bernhard Schölkopf (eds), Advances in Neural Information Processing Systems 16 (NIPS 2003). Cambridge, MA: MIT Press, pp. 497-504.

Research on “improper” linear models has shown that predetermined weighting schemes for the linear model, such as equally weighting all predictors, can be surprisingly accurate on cross-validation. We review recent advances that can characterize the optimal choice of an improper linear model. We extend this research to the understanding of fast and frugal heuristics, particularly to the ecologically rational goal of understanding in which task environments given heuristics are optimal. We demonstrate how to test this (...) model using the Recognition Heuristic and Take the Best heuristic, show how the model reconciles with the ecological rationality program, and discuss how our prescriptive, computational approach could be approximated by simpler mental rules that might be more descriptive. Echoing the arguments of van Rooij et al., we stress the virtue of having a computationally tractable model of strategy selection, even if one proposes that cognizers use a simpler heuristic process to approximate it. (shrink)

This paper aims to address the lack of critique of the linear model in geoengineering governance discourse, and to illustrate different considerations for a geoengineering governance framework that is not based on a linear model of technology innovation. Finally, we set to explore a particular approach to geoengineering governance based on Peter-Paul Verbeek’s notion of ‘technology accompaniment’.

The linear programming method is one of the important methods of operations research that has been used to address many practical issues and provided optimal solutions for many institutions and companies, which helped decision makers make ideal decisions through which companies and institutions achieved maximum profit, but these solutions remain ideal and appropriate in If the conditions surrounding the work environment are stable, because any change in the data provided will affect the optimal solution and to avoid losses and (...) achieve maximum profit, we have, in previous research, reformulated the linear models using the concepts of neutrosophic science, the science that takes into account the instability of conditions and fluctuations in the work environment and leaves nothing to chance. While taking data, neutrosophic values carry some indeterminacy, giving a margin of freedom to decision makers. In another research, we reformulated one of the most important methods used to solve linear models, which is the simplex method, using the concepts of this science, and as a continuation of what we did in the previous two researches, we will reformulate in this research. The graphical method for solving linear models using the concepts of neutrosophics. We will also shed light on a case that is rarely mentioned in most operations research references, which is that when the difference between the number of unknowns and the number of constraints is equal to one, two, or three, we can also find the optimal solution graphically for some linear models. This is done by taking advantage of the conditions of non-negativity that linear models have, and we will explain this through an example in which the difference is equal to two. Also, through examples, we will explain the difference between using classical values and neutrosophic values and the extent of this’s impact on the optimal solution. (shrink)

The concept of the "linear model of innovation" was introduced by authors belonging to the field of innovation studies in the middle of the 1980s. According to the model, there is a simple sequence of steps going from basic science to innovations - an innovation being defined as an invention that is profitable. In innovation studies, the LMI is held to be assumed in Science the endless frontier , the influential report prepared by Vannevar Bush in 1945. (...) In this paper, it is argued that: the LMI was introduced with critical purposes, as part of the questioning of the conception of science and the proposals for science policies put forward in Sef; at a first level of analysis, the LMI appears as a straw man, defended neither in Sef, nor anywhere else; the LMI is a weapon against the importance attributed to basic science in Sef, and its defense of the financing of basic research by the state; the LMI is a component of the process of commodification of science promoted by neoliberalism. The last section of the paper presents a qualified defense of basic science and basic research. (shrink)

Expiratory flow limitation (EFL) can occur in mechanically ventilated patients with chronic obstructive pulmonary disease and other disorders. It leads to dynamic hyperinflation with ensuing deleterious consequences. Detecting EFL is thus clinically relevant. Easily applicable methods however lack this detection being routinely made in intensive care. Using a simple mathematical model, we propose a new method to detect EFL that does not require any intervention or modification of the ongoing therapeutic. The model consists in a monoalveolar representation of (...) the respiratory system, including a collapsible airway that is submitted to periodic changes in pressure at the airway opening: EFL provokes a sharp expiratory increase in the resistance Rc of the collapsible airway. The model parameters were identified via the Levenberg-Marquardt method by fitting simulated data on the airway pressure and the flow signals recorded in 10 mechanically ventilated patients. A sensitivity study demonstrated that only 8/11 parameters needed to be identified, the remaining three being given reasonable physiological values. Flow-volume curves built at different levels of positive expiratory pressure, PEEP, during PEEP trials (stepwise increases in positive end-expiratory pressure to optimize ventilator settings) have shown evidence of EFL in three cases. This was concordant with parameter identification (high Rc during expiration for EFL patients). We conclude from these preliminary results that our model is a potential tool for the non-invasive detection of EFL in mechanically ventilated patients. (shrink)

A result from a standard linear model course is that the variance of the ordinary least squares (OLS) coefficient of a variable will never decrease when including additional covariates into the regression. The variance inflation factor (VIF) measures the increase of the variance. Another result from a standard linear model or experimental design course is that including additional covariates in a linear model of the outcome on the treatment indicator will never increase the variance (...) of the OLS coefficient of the treatment at least asymptotically. This technique is called the analysis of covariance (ANCOVA), which is often used to improve the efficiency of treatment effect estimation. So we have two paradoxical results: adding covariates never decreases the variance in the first result but never increases the variance in the second result. In fact, these two results are derived under different assumptions. More precisely, the VIF result conditions on the treatment indicators but the ANCOVA result averages over them. Comparing the estimators with and without adjusting for additional covariates in a completely randomized experiment, I show that the former has smaller variance averaging over the treatment indicators, and the latter has smaller variance at the cost of a larger bias conditioning on the treatment indicators. Therefore, there is no real paradox. (shrink)

Science is the basis for managing the affairs of life and human activities, and living without knowledge is a form of wandering and a kind of loss. Using scientific methods helps us understand the foundations of choice, decision-making, and adopting the right solutions when solutions abound and options are numerous. Operational research is considered the best that scientific development has provided because its methods depend on the application of scientific methods in solving complex issues and the optimal use of available (...) resources in various fields, private and governmental work in peace and war, in politics and economics, in planning and implementation, and in various aspects of life. Its basic essence is to use the data provided for the issue under study to build a mathematical model that is the optimal solution. It is the basis on which decision makers rely in managing institutions and companies, and when operations research methods meet with the neutrosophic teacher, we get ideal solutions that take into account all the circumstances and fluctuations that may occur in the work environment over time. One of the most important operations research methods is the linear programming method. Which prompted us to reformulate the linear models, the graphical method, and the simplex method, which are used to obtain the optimal solution for linear models using the concepts of neutrosophic science. In this research, and as a continuation of what we presented previously, we will reformulate the modified simplex algorithm that was presented to address the difficulty that we were facing when applying the direct simplex algorithm. It is the large number of calculations required to be performed in each step of the solution, which requires a lot of time and effort. (shrink)

Residual confounding is a common source of bias in observational studies. In this article, we build upon a series of sensitivity analyses methods for residual confounding developed by Brumback et al. and Chiba whose sensitivity parameters are constructed to quantify deviation from conditional exchangeability, given measured confounders. These sensitivity parameters are combined with the observed data to produce a “bias-corrected” estimate of the causal effect of interest. We provide important generalizations of these sensitivity analyses, by allowing for arbitrary exposures and (...) a wide range of different causal effect measures, through the specification of the target causal effect as a parameter in a generalized linear model with the arbitrary link function. We show how our generalized sensitivity analysis can be easily implemented with standard software, and how its sensitivity parameters can be calibrated against measured confounders. We demonstrate our sensitivity analysis with an application to publicly available data from a cohort study of behavior patterns and coronary heart disease. (shrink)

It has been shown in Spirtes(1995) that X and Y are d-separated given Z in a directed graph associated with a recursive or non-recursive linear model without correlated errors if and only if the model entails that ρXY.Z = 0. This result cannot be directly applied to a linear model with correlated errors, however, because the standard graphical representation of a linear model with correlated errors is not a directed graph. The main result (...) of this paper is to show how to associate a directed graph with a linear model L with correlated errors, and then use d-separation in the associated directed graph to determine whether L entails that a particular partial correlation is zero. (shrink)

In the industrial context, steel is a broadly-used raw material with applications in many different fields. Due to its high impact in the activity of many industries all over the world, forecasting its price is of utmost importance for a huge amount of companies. In this work, non-linear neural models are applied for the first time to different datasets in order to validate their suitability when predicting the price of this commodity. In particular, the NAR, NIO and NARX neural (...) network models are innovatively applied for the first time to forecast the price of hot rolled steel in Spain. Besides these variety of models, different datasets consisting of a set of heterogenous variables from the last seven years and related to the price of this commodity are benchmarked and analyzed. The results showed that NARX is the best performing model when the price of raw materials used to produce steel and the stock market prices of three major global steel producing companies are employed as input to this predictive model. Consequently, this result may boost the application of Machine Learning in companies, in order to schedule the supplying operations according to the price forecasting. (shrink)

Linear mixed-effects models (LMMs) are increasingly being used for data analysis in cognitive neuroscience and experimental psychology, where within-participant designs are common. The current article provides an introductory review of the use of LMMs for within-participant data analysis and describes a free, simple, graphical user interface (LMMgui). LMMgui uses the package lme4 (Bates et al., 2014a, b ) in the statistical environment R (R Core Team).

The appearance of nonlinear equations in science, engineering, economics, and medicine cannot be denied. Solving such equations requires numerical methods having higher-order convergence with cost-effectiveness, for the equations do not have exact solutions. In the pursuit of efficient numerical methods, an attempt is made to devise a modified strategy for approximating the solution of nonlinear models in either scalar or vector versions. Two numerical methods of second-and sixth-order convergence are carefully merged to obtain a hybrid multi-step numerical method with twelfth-order (...) convergence while using seven function evaluations per iteration, resulting in the efficiency index of about 1.4262. The convergence is also ascertained theoretically, and the asymptotic error constant is computed. Furthermore, various numerical methods of varying orders are used to compare the numerical results obtained with the proposed hybrid method in approximate solution, number of iterations, absolute error, absolute functional value, and the machine time measured in seconds. The obtained results outperformed the chosen methods when applied models arising from physical and natural fields were solved. Finally, to observe the convergence graphically, some complex polynomials are plotted as polynomiographs, wherein the rapid convergence of the proposed method is guaranteed. (shrink)

We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear logic can easily represent bids in combinatorial auctions in which goods may be sold in multiple units, and we show how it naturally generalises several bidding languages familiar from the literature. Moreover, the winner determination problem, i.e., the problem of computing an allocation of goods to bidders producing a certain (...) amount of revenue for the auctioneer, can be modelled as the problem of finding a proof for a particular linear logic sequent. (shrink)

We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic (...) by adding a coimplication operator, similar to Curry's subtraction operator, which is resituated with Linear Logic's contensor product. And we can add contraction to get nondistributive Relevance Logic. The model rests heavily on Urquhart's representation of nondistributive lattices and also on Dunn's Gaggle Theory. Indeed, the paper may be viewed as an investigation into nondistributive Gaggle Theory restricted to binary operations. The valuations on the Kripke model are three valued: true, false, and indifferent. The lattice representation theorem of Urquhart has the nice feature of yielding Priestley's representation theorem for distributive lattices if the original lattice happens to be distributive. Hence the representation is consistent with Stone's representation of distributive and Boolean lattices, and our semantics is consistent with the Lemmon-Scott representation of modal algebras and the Routley-Meyer semantics for Relevance Logic. (shrink)

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the (...) question of whether there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

We provide a general criterion for Fraenkel–Mostowski models of $${\textsf{ZFA}}$$ (i.e. Zermelo–Fraenkel set theory weakened to permit the existence of atoms) which implies “every linearly ordered set can be well ordered” ( $${\textsf{LW}}$$ ), and look at six models for $${\textsf{ZFA}}$$ which satisfy this criterion (and thus $${\textsf{LW}}$$ is true in these models) and “every Dedekind finite set is finite” ( $${\textsf{DF}}={\textsf{F}}$$ ) is true, and also consider various forms of choice for well-ordered families of well orderable sets in these (...) models. In Model 1, the axiom of multiple choice for countably infinite families of countably infinite sets ( $${\textsf{MC}}_{\aleph _{0}}^{\aleph _{0}}$$ ) is false. It was the open question of whether or not such a model exists (from Howard and Tachtsis “On metrizability and compactness of certain products without the Axiom of Choice”) that provided the motivation for this paper. In Model 2, which is constructed by first choosing an uncountable regular cardinal in the ground model, a strong form of Dependent choice is true, while the axiom of choice for well-ordered families of finite sets ( $${\textsf{AC}}^{{\textsf{WO}}}_{{\textsf{fin}}}$$ ) is false. Also in this model the axiom of multiple choice for well-ordered families of well orderable sets fails. Model 3 is similar to Model 2 except for the status of $${\textsf{AC}}^{{\textsf{WO}}}_{{\textsf{fin}}}$$ which is unknown. Models 4 and 5 are variations of Model 3. In Model 4 $${\textsf{AC}}_{\textrm{fin}}^{{\textsf{WO}}}$$ is true. The construction of Model 5 begins by choosing a regular successor cardinal in the ground model. Model 6 is the only one in which $$2{\mathfrak {m}} = {\mathfrak {m}}$$ for every infinite cardinal number $${\mathfrak {m}}$$. We show that the union of a well-ordered family of well orderable sets is well orderable in Model 6 and that the axiom of multiple countable choice is false. (shrink)

In an unpublished note Reddy introduced an extended intuitionistic linear calculus, called LLMS (for Linear Logic Model of State), to model state manipulation via the notions of sequential composition and ‘regenerative values’. His calculus introduces the connective ‘before’ ▹ and an associated modality †, for the storage of objects sequentially reusable. Earlier and independently de Paiva introduced a (collection of) dialectica categorical models for (classical and intuitionistic) Linear Logic, the categories Dial2Set. These categories contain, apart (...) from the structure needed to model linear logic, an extra tensor product functor and an extra comonad structure corresponding to a modality related to the extra tensor product. It is surprising that these works arising from completely different motivations can be related in a meaningful way. In this article, following joint work with Corrêa and Haeusler, we first adapt Reddy's system LLMS providing a commutative version of the connective ‘before’ and its associated modality and then construct a dialectica category on Sets , which we show is a sound model for the modified version of Reddy's the system LLMSc. Moreover, following the work of Tucker, we provide another variant of the Dialectica categories with a non-commutative tensor and its associated modality, which models soundlyLLMS itself. We conclude with some speculation on future applications. (shrink)

For years now, phase-amplitude cross frequency coupling (CFC) has been observed across multiple brain regions under different physiological and pathological conditions. It has been suggested that CFC serves as a mechanism that facilitates communication and information transfer between local and spatially separated neuronal populations. In non-invasive brain computer interfaces (BCI), CFC has not been thoroughly explored. In this work, we propose a CFC estimation method based on Linear Parameter Varying Autoregressive (LPV-AR) models and we assess its performance using both (...) synthetic data and electroencephalographic (EEG) data recorded during attempted arm/hand movements of spinal cord injured (SCI) participants. Our results corroborate the potentiality of CFC as a feature for movement attempt decoding and provide evidence of the superiority of our proposed CFC estimation approach compared to other commonly used techniques. (shrink)

Linear structural equation models with latent (unmeasured) variables are used widely in sociology, psychometrics, and political science. When such models have a unidimensional..

Assuming the existence of an inaccessible cardinal, transitive full models of the whole set theory, equipped with a linearly valued rank function, are constructed. Such models provide a global framework for nonstandard mathematics.

We present a technique for the analysis of pattern formation by a class of models for the formation of ocular dominance stripes in the striate cortex of some mammals. The method, which employs the adiabatic approximation to derive a set of ordinary differential equations for patterning modes, has been successfully applied to reaction-diffusion models for striped patterns [1]. Models of ocular dominance stripes have been studied [2,3] by computation, or by linearization of the model equations. These techniques do not (...) provide a rationale for the origin of the stripes. We show here that stripe formation is a non-linear property of the models. Our analysis indicates that stripe selection is closely linked to a property in the dynamics of the models which arises from a symmetry between ipsilateral and contralateral synapses to the visual cortex of a given hemisphere. (shrink)

Shane Harwood and Richard Scheines. Learning Linear Causal Structure Equation Models with Genetic Algorithms.

A non-repeated item design refers to an experimental design in which items used in one level of experimental conditions are not repeatedly used at other levels. Recent literature has suggested the use of generalized linear mixed-effects models for experimental data analysis, but the existing specification of GLMMs does not account for all possible dependencies among the outcomes in NRI designs. Therefore, the current study proposed a GLMM with a level-specific item random effect for NRI designs. The hypothesis testing performance (...) of the newly proposed model was evaluated via a simulation study to detect the experimental condition effect. The model with a level-specific item random effect performed better than the existing model in terms of power when the variance of the item effect was heterogeneous. Based on these results, we suggest that experimental researchers using NRI designs consider setting a level-specific item random effect in the model. (shrink)

We study an extension of Stackelberg’s model in which many firms can produce at many different times. Demand is affine, while cost is linear. In this setting, we investigate whether Stackelberg’s results in a two-firm game are robust when the number of firms increases. We show that firms may not need to anticipate further entries, leaders might earn less than in the simultaneous game, and, whatever its cost and its time of entry, the firm’s entry always improves welfare.

Numerous results about capturing complexity classes of queries by means of logical languages work for ordered structures only, and deal with non-generic, or order-dependent, queries. Recent attempts to improve the situation by characterizing wide classes of finite models where linear order is definable by certain simple means have not been very promising, as certain commonly believed conjectures were recently refuted (Dawar's Conjecture). We take on another approach that has to do with normalization of a given order (rather than with (...) defining a linear order from scratch). To this end, we show that normalizability of linear order is a strictly weaker condition than definability (say, in the least fixpoint logic), and still allows for extending Immerman-Vardi-style results to generic queries. It seems to be the weakest such condition. We then conjecture that linear order is normalizable in the least fixpoint logic for any finitely axiomatizable class of rigid structures. Truth of this conjecture, which is a strengthened version of Stolboushkin's conjecture, would have the same practical implications as Dawar's Conjecture. Finally, we suggest a series of reductions of the two conjectures to specialized classes of graphs, which we believe should simplify further work. (shrink)

In this article, we propose a new method to learn the underlying acyclic mixed graph of a linear non-Gaussian structural equation model with given observational data. We build on an algorithm proposed by Wang and Drton, and we show that one can augment the hidden variable structure of the recovered model by learning multidirected edges rather than only directed and bidirected ones. Multidirected edges appear when more than two of the observed variables have a hidden common cause. (...) We detect the presence of such hidden causes by looking at higher order cumulants and exploiting the multi-trek rule. Our method recovers the correct structure when the underlying graph is a bow-free acyclic mixed graph with potential multidirected edges. (shrink)

Linear mixed-effect models (LMMs) are being increasingly widely used in psychology to analyse multi-level research designs. This feature allows LMMs to address some of the problems identified by Speelman and McGann ( 2013 ) about the use of mean data, because they do not average across individual responses. However, recent guidelines for using LMM to analyse skewed reaction time (RT) data collected in many cognitive psychological studies recommend the application of non-linear transformations to satisfy assumptions of normality. Uncritical (...) adoption of this recommendation has important theoretical implications which can yield misleading conclusions. For example, Balota et al. ( 2013 ) showed that analyses of raw RT produced additive effects of word frequency and stimulus quality on word identification, which conflicted with the interactive effects observed in analyses of transformed RT. Generalized linear mixed-effect models (GLMM) provide a solution to this problem by satisfying normality assumptions without the need for transformation. This allows differences between individuals to be properly assessed, using the metric most appropriate to the researcher's theoretical context. We outline the major theoretical decisions involved in specifying a GLMM, and illustrate them by reanalysing Balota et al.'s datasets. We then consider the broader benefits of using GLMM to investigate individual differences. (shrink)

The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a knotted structural rule: γ, xn → y / γ, xm → y. It is proved that the class of algebraic models for such a logic has the finite embeddability property, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has the finite (...) model property with respect to its algebraic semantics and hence that the logic is decidable. (shrink)

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with (...) contraction, and for its intuitionistic version (ILLC). The finite model property for related substructural logics also follow by our method. In particular, we shall show that the property holds for all of FL and GL - -systems except FL c and GL - c of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

We show that every model of IΔ0 has an end extension to a model of a theory where log-space computable function are formalizable. We also show the existence of an isomorphism between models of IΔ0 and models of linear arithmetic LA.

Temporal logic can be used to describe processes: their behaviour ischaracterized by a set of temporal models axiomatized by a temporaltheory. Two types of models are most often used for this purpose: linearand branching time models. In this paper a third approach, based onsocalled joint closure models, is studied using models which incorporateall possible behaviour in one model. Relations between this approach andthe other two are studied. In order to define constructions needed torelate branching time models, appropriate algebraic notions (...) are defined(in a category theoretical manner) and exploited. In particular, thenotion of joint closure is used to construct one model subsuming a setof models. Using this universal algebraic construction we show that aset of linear models can be merged to a unique branching time model.Logical properties of the described algebraic constructions are studied.The proposed approach has been successfully aplied to obtain anappropriate semantics for non-monotonic reasoning processes based ondefault logic. References are discussed that show the details of theseapplications. (shrink)