Results for 'finite mixture models'

985 found
Order:
  1.  86
    Are the sources of interest the same for everyone? Using multilevel mixture models to explore individual differences in appraisal structures.Paul J. Silvia, Robert A. Henson & Jonathan L. Templin - 2009 - Cognition and Emotion 23 (7):1389-1406.
    How does personality influence the relationship between appraisals and emotions? Recent research suggests individual differences in appraisal structures: people may differ in an emotion's appraisal pattern. We explored individual differences in interest's appraisal structure, assessed as the within-person covariance of appraisals with interest. People viewed images of abstract visual art and provided ratings of interest and of interest's appraisals (novelty–complexity and coping potential) for each picture. A multilevel mixture model found two between-person classes that reflected distinct within-person appraisal styles. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  68
    The Experimetrics of Public Goods: Inferring Motivations from Contributions. [REVIEW]Nicholas Bardsley & Peter G. Moffatt - 2007 - Theory and Decision 62 (2):161-193.
    In public goods experiments, stochastic choice, censoring and motivational heterogeneity give scope for disagreement over the extent of unselfishness, and whether it is reciprocal or altruistic. We show that these problems can be addressed econometrically, by estimating a finite mixture model to isolate types, incorporating double censoring and a tremble term. Most subjects act selfishly, but a substantial proportion are reciprocal with altruism playing only a marginal role. Isolating reciprocators enables a test of Sugden’s model of voluntary contributions. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  72
    A model in which the base-matrix tree cannot have cofinal branches.Peter Lars Dordal - 1987 - Journal of Symbolic Logic 52 (3):651-664.
    A model of ZFC is constructed in which the distributivity cardinal h is 2 ℵ 0 = ℵ 2 , and in which there are no ω 2 -towers in [ω] ω . As an immediate corollary, it follows that any base-matrix tree in this model has no cofinal branches. The model is constructed via a form of iterated Mathias forcing, in which a mixture of finite and countable supports is used.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  52
    Detecting heterogeneous risk attitudes with mixed gambles.Luís Santos-Pinto, Adrian Bruhin, José Mata & Thomas Åstebro - 2015 - Theory and Decision 79 (4):573-600.
    We propose a task for eliciting attitudes toward risk that is close to real-world risky decisions which typically involve gains and losses. The task consists of accepting or rejecting gambles that provide a gain with probability p\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}pp\end{document} and a loss with probability 1-p\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}1p1-p\end{document}. We employ finite mixture models to uncover heterogeneity in risk preferences and find that behavior is heterogeneous, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  53
    Use of data on planned contributions and stated beliefs in the measurement of social preferences.Anna Conte & M. Vittoria Levati - 2014 - Theory and Decision 76 (2):201-223.
    In a series of one-shot linear public goods game, we ask subjects to report their contributions, their contribution plans for the next period, and their first-order beliefs about their present and future partner. We estimate subjects’ preferences from plan data by a finite mixture approach and compare the results with those obtained from contribution data. Controlling for beliefs, which incorporate the information about the others’ decisions, we are able to show that plans convey accurate information about subjects’ preferences (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  22
    A comment on the axiomatics of the Maxmin Expected Utility model.Shiri Alon - 2022 - Theory and Decision 92 (3-4):445-453.
    Maxmin Expected Utility was first axiomatized by Gilboa and Schmeidler in an Anscombe–Aumann setup Anscombe and Aumann which includes exogenous probabilities. The model was later axiomatized in a purely subjective setup, where no exogenous probabilities are assumed. The purpose of this note is to show that in all these axiomatizations, the only assumptions that are needed are the basic ones that are used to extract a cardinal utility function, together with the two typical Maxmin assumptions, Uncertainty Aversion and Certainty Independence, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  17
    Estimating marginal treatment effects under unobserved group heterogeneity.Takahide Yanagi & Tadao Hoshino - 2022 - Journal of Causal Inference 10 (1):197-216.
    This article studies the treatment effect models in which individuals are classified into unobserved groups based on heterogeneous treatment rules. By using a finite mixture approach, we propose a marginal treatment effect framework in which the treatment choice and outcome equations can be heterogeneous across groups. Under the availability of instrumental variables specific to each group, we show that the MTE for each group can be separately identified. On the basis of our identification result, we propose a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Mixture models of individual heterogeneity.Dale O. Stahl - 2003 - In L. Nadel, Encyclopedia of Cognitive Science. Nature Publishing Group.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  23
    Finite deformation model of simple shear of fault with microrotations: apparent strain localisation and en-echelon fracture pattern.E. Pasternak, H. -B. Mühlhaus & A. V. Dyskin - 2006 - Philosophical Magazine 86 (21-22):3339-3371.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Finite-dimensional models of categorical semi-minimal theories.D. Andler - 1975 - Logique Et Analyse 18 (71):359.
     
    Export citation  
     
    Bookmark  
  11.  20
    Signal detection theory with finite mixture distributions: Theoretical developments with applications to recognition memory.Lawrence T. DeCarlo - 2002 - Psychological Review 109 (4):710-721.
  12.  21
    Testing mixture models of transitive preference: Comment on Regenwetter, Dana, and Davis-Stober (2011).Michael H. Birnbaum - 2011 - Psychological Review 118 (4):675-683.
  13.  31
    Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus.Christian Wurm - 2017 - Journal of Logic, Language and Information 26 (2):179-214.
    We prove completeness for some language-theoretic models of the full Lambek calculus and its various fragments. First we consider syntactic concepts and syntactic concepts over regular languages, which provide a complete semantics for the full Lambek calculus \. We present a new semantics we call automata-theoretic, which combines languages and relations via closure operators which are based on automaton transitions. We establish the completeness of this semantics for the full Lambek calculus via an isomorphism theorem for the syntactic concepts (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. FBST for Mixture Model Selection.Julio Michael Stern & Marcelo de Souza Lauretto - 2005 - AIP Conference Proceedings 803:121-128.
    The Fully Bayesian Significance Test (FBST) is a coherent Bayesian significance test for sharp hypotheses. This paper proposes the FBST as a model selection tool for general mixture models, and compares its performance with Mclust, a model-based clustering software. The FBST robust performance strongly encourages further developments and investigations.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  88
    Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
    The paper proves a predicate version of Solovay's well-known theorem on provability interpretations of modal logic: If a closed modal predicate-logical formula R is not valid in some finite Kripke model, then there exists an arithmetical interpretation f such that $PA \nvdash fR$ . This result implies the arithmetical completeness of arithmetically correct modal predicate logics with the finite model property (including the one-variable fragments of QGL and QS). The proof was obtained by adding "the predicate part" as (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16.  50
    Axioms for finite collapse models of arithmetic.Andrew Tedder - 2015 - Review of Symbolic Logic 8 (3):529-539.
    The collapse models of arithmetic are inconsistent, nontrivial models obtained from ℕ and set out in the Logic of Paradox (LP). They are given a general treatment by Priest (Priest, 2000). Finite collapse models are decidable, and thus axiomatizable, because finite. LP, however, is ill-suited to normal axiomatic reasoning, as it invalidates Modus Ponens, and almost all other usual conditional inferences. I set out a logic, A3, first given by Avron (Avron, 1991), and give a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  39
    Finitely generic models of tUH, for certain model companionable theories T.Francoise Point - 1985 - Journal of Symbolic Logic 50 (3):604 - 610.
  18.  19
    Finite integer models for learning in individual subjects.John Theios - 1968 - Psychological Review 75 (4):292-307.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Probability Theory with Superposition Events.David Ellerman - manuscript
    In finite probability theory, events are subsets S⊆U of the outcome set. Subsets can be represented by 1-dimensional column vectors. By extending the representation of events to two dimensional matrices, we can introduce "superposition events." Probabilities are introduced for classical events, superposition events, and their mixtures by using density matrices. Then probabilities for experiments or `measurements' of all these events can be determined in a manner exactly like in quantum mechanics (QM) using density matrices. Moreover the transformation of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  23
    A general non-linear multilevel structural equation mixture model.Augustin Kelava & Holger Brandt - 2014 - Frontiers in Psychology 5:75570.
    In the past 2 decades latent variable modeling has become a standard tool in the social sciences. In the same time period, traditional linear structural equation models have been extended to include non-linear interaction and quadratic effects (e.g., Klein and Moosbrugger, 2000 ), and multilevel modeling (Rabe-Hesketh et al., 2004 ). We present a general non-linear multilevel structural equation mixture model (GNM-SEMM) that combines recent semiparametric non-linear structural equation models (Kelava and Nagengast, 2012 ; Kelava et al., (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  28
    A crystal plasticity finite element model for flow stress anomalies in Ni3Al single crystals.Shahriyar Keshavarz & Somnath Ghosh - 2015 - Philosophical Magazine 95 (24):2639-2660.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. The Full Bayesian Significance Test for Mixture Models: Results in Gene Expression Clustering.Julio Michael Stern, Marcelo de Souza Lauretto & Carlos Alberto de Braganca Pereira - 2008 - Genetics and Molecular Research 7 (3):883-897.
    Gene clustering is a useful exploratory technique to group together genes with similar expression levels under distinct cell cycle phases or distinct conditions. It helps the biologist to identify potentially meaningful relationships between genes. In this study, we propose a clustering method based on multivariate normal mixture models, where the number of clusters is predicted via sequential hypothesis tests: at each step, the method considers a mixture model of m components (m = 2 in the first step) (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  26
    Damage Detection of Refractory Based on Principle Component Analysis and Gaussian Mixture Model.Changming Liu, Zhigang di ZhouWang, Dan Yang & Gangbing Song - 2018 - Complexity 2018:1-9.
    Acoustic emission technique is a common approach to identify the damage of the refractories; however, there is a complex problem since there are as many as fifteen involved parameters, which calls for effective data processing and classification algorithms to reduce the level of complexity. In this paper, experiments involving three-point bending tests of refractories were conducted and AE signals were collected. A new data processing method of merging the similar parameters in the description of the damage and reducing the dimension (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  31
    Finite element modelling of creep cavity filling by solute diffusion.C. D. Versteylen, N. K. Szymański, M. H. F. Sluiter & N. H. van Dijk - forthcoming - Philosophical Magazine:1-14.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  22
    Resilience Predicts the Trajectories of College Students’ Daily Emotions During COVID-19: A Latent Growth Mixture Model.Li Zhang, Lei Wang, Yuan Liu, Junyi Zhang, Xiaoying Zhang & Jingxin Zhao - 2021 - Frontiers in Psychology 12.
    The objective of this study was to examine the association between resilience and trajectories of college students’ negative and positive affect during the COVID-19 pandemic. A total of 391 college students recruited from China completed a daily online negative and positive affect scale for 1 week, and their resilience was also measured. Profiles of brief trajectories of negative and positive affect over time were identified using the latent growth mixture model, and the effect of resilience on these trajectories was (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  68
    Theories with finitely many models.Simon Thomas - 1986 - Journal of Symbolic Logic 51 (2):374-376.
  27.  13
    Simulation of Tennis Match Scene Classification Algorithm Based on Adaptive Gaussian Mixture Model Parameter Estimation.Yuwei Wang & Mofei Wen - 2021 - Complexity 2021:1-12.
    This paper presents an in-depth analysis of tennis match scene classification using an adaptive Gaussian mixture model parameter estimation simulation algorithm. We divided the main components of semantic analysis into type of motion, distance of motion, speed of motion, and landing area of the tennis ball. Firstly, for the problem that both people and tennis balls in the video frames of tennis matches from the surveillance viewpoint are very small, we propose an adaptive Gaussian mixture model parameter estimation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  35
    On the Modal Definability of Simulability by Finite Transitive Models.David Fernández Duque - 2011 - Studia Logica 98 (3):347-373.
    We show that given a finite, transitive and reflexive Kripke model 〈 W , ≼, ⟦ ⋅ ⟧ 〉 and wW{w \in W} , the property of being simulated by w (i.e., lying on the image of a literalpreserving relation satisfying the ‘forth’ condition of bisimulation) is modally undefinable within the class of S4 Kripke models. Note the contrast to the fact that lying in the image of w under a bi simulation is definable in the standard modal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  29
    A note on finitely generated models.Anand Pillay - 1983 - Journal of Symbolic Logic 48 (1):163-166.
  30. N-policy for finite queueing models with unreliable server and working vacation.Aditya Pratap Singh & Amita Bhagat - 2022 - In Bhagwati Prasad Chamola, Pato Kumari & Lakhveer Kaur, Emerging advancements in mathematical sciences. New York: Nova Science Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  83
    Expectation-Maximization Algorithm of Gaussian Mixture Model for Vehicle-Commodity Matching in Logistics Supply Chain.Qi Sun, Liwen Jiang & Haitao Xu - 2021 - Complexity 2021:1-11.
    A vehicle-commodity matching problem is presented for service providers to reduce the cost of the logistics system. The vehicle classification model is built as a Gaussian mixture model, and the expectation-maximization algorithm is designed to solve the parameter estimation of GMM. A nonlinear mixed-integer programming model is constructed to minimize the total cost of VCMP. The matching process between vehicle and commodity is realized by GMM-EM, as a preprocessing of the solution. The design of the vehicle-commodity matching platform for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  13
    The Impact of Imposing Equality Constraints on Residual Variances Across Classes in Regression Mixture Models.Jeongwon Choi & Sehee Hong - 2022 - Frontiers in Psychology 12.
    The purpose of this study is to explore the impact of constraining class-specific residual variances to be equal by examining and comparing the parameter estimation of a free model and a constrained model under various conditions. A Monte Carlo simulation study was conducted under several conditions, including the number of predictors, class-specific intercepts, sample size, class-specific regression weights, and class proportion to evaluate the results for parameter estimation of the free model and the restricted model. The free model yielded a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Neural Network Applications-Face Recognition Using Probabilistic Two-Dimensional Principal Component Analysis and Its Mixture Model.Haixian Wang & Zilan Hu - 2006 - In O. Stock & M. Schaerf, Lecture Notes In Computer Science. Springer Verlag. pp. 4221--337.
     
    Export citation  
     
    Bookmark  
  34.  14
    Data-Driven Finite Element Models of Passive Filamentary Networks.Brian Adam & Sorin Mitran - 2018 - Complexity 2018:1-7.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  31
    A note on bisimulations of finite Kripke models.Ma Lgorzata Kruszelnicka - 2012 - Bulletin of the Section of Logic 41 (3/4):185-198.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  16
    Positive Affect Over Time and Emotion Regulation Strategies: Exploring Trajectories With Latent Growth Mixture Model Analysis.Margherita Brondino, Daniela Raccanello, Roberto Burro & Margherita Pasini - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  49
    On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.Ronald Harrop - 1971 - Mathematical Logic Quarterly 17 (1):137-143.
  38.  39
    The finite model property for semilinear substructural logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.
    In this paper, we show that the finite model property fails for certain non‐integral semilinear substructural logics including Metcalfe and Montagna's uninorm logic and involutive uninorm logic, and a suitable extension of Metcalfe, Olivetti and Gabbay's pseudo‐uninorm logic. Algebraically, the results show that certain classes of bounded residuated lattices that are generated as varieties by their linearly ordered members are not generated as varieties by their finite members.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  29
    A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut‐free logic.Arief Daynes - 2006 - Mathematical Logic Quarterly 52 (6):540-554.
    A new technique for proving realisability results is presented, and is illustrated in detail for the simple case of arithmetic minus induction. CL is a Gentzen formulation of classical logic. CPQ is CL minus the Cut Rule. The basic proof theory and model theory of CPQ and CL is developed. For the semantics presented CPQ is a paraconsistent logic, i.e. there are non-trivial CPQ models in which some sentences are both true and false. Two systems of arithmetic minus induction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. N-policy for finite queueing models with unreliable server and working vacation.Aditya Pratap Singh & Amita Bhagat - 2022 - In Bhagwati Prasad Chamola, Pato Kumari & Lakhveer Kaur, Emerging advancements in mathematical sciences. New York: Nova Science Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  61
    B. I. Zil′ber. Totally categorical theories: structural properties and the non-finite axiomatizability. Model theory of algebra and arithmetic, Proceedings of the conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 381–410. - B. I. Zil′ber. Strongly minimal countably categorical theories. Siberian mathematical journal, vol. 21 no. 2 , pp. 219–230. , pp. 98-112.) - B. I. Zil′ber. Strongly minimal countably categorical theories. II. Ibid., vol. 25 no. 3 , pp. 396-412. , pp. 71-88.) - B. I. Zil′ber. Strongly minimal countably categorical theories. III. Ibid., vol. 25 no. 4 , pp. 559-571. , pp. 63-77.) - B. I. Zil′ber. Totally categorical structures and combinatorial geometries. Soviet mathematics–Doklady, vol. 24 no. 1 , pp. 149-151. , pp. 1039-1041.) - B. I. Zil′ber The struc. [REVIEW]Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
    Reviewed Works:B. I. Zil'ber, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Totally Categorical Theories: Structural Properties and the Non-Finite Axiomatizability.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. II.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. III.B. I. Zil'ber, E. Mendelson, Totally Categorical Structures and Combinatorial Geometries.B. I. Zil'ber, The Structure of Models of Uncountably Categorical Theories.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42.  46
    Strong completeness with respect to finite kripke models.Wiesław Dziobiak - 1981 - Studia Logica 40 (3):249-252.
    We prove that each intermediate or normal modal logic is strongly complete with respect to a class of finite Kripke frames iff it is tabular, i.e. the respective variety of pseudo-Boolean or modal algebras, corresponding to it, is generated by a finite algebra.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  42
    The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. The Problem of Separate Hypotheses via Mixtures Models.Julio Michael Stern, Marcelo de Souza Lauretto, Silvio Rodrigues Faria & Carlos Alberto de Braganca Pereira - 2007 - AIP Conference Proceedings 954:268-275.
    This article describes the Full Bayesian Significance Test for the problem of separate hypotheses. Numerical experiments are performed for the Gompertz vs. Weibull life span test.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  43
    Partial orderings of fixed finite dimension: Model companions and density.Alfred B. Manaster & Jeffrey B. Remmel - 1981 - Journal of Symbolic Logic 46 (4):789-802.
  46.  33
    The Standardization of Linear and Nonlinear Effects in Direct and Indirect Applications of Structural Equation Mixture Models for Normal and Nonnormal Data.Holger Brandt, Nora Umbach & Augustin Kelava - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  10
    Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures.Hendrick Maia - 2022 - Bulletin of Symbolic Logic 28 (4):529-530.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  20
    Reverse mathematics of first-order theories with finitely many models.David R. Belanger - 2014 - Journal of Symbolic Logic 79 (3):955-984.
  49.  35
    A finite model property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.
    It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMImin has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMImin is decidable.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50. The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
1 — 50 / 985