The work broadens – to a considerable extent – Z. Pawlak’s original method (1982, 1992) of approximation of sets. The approximation of sets included in a universum U goes on in the contextual approximation space CAS which consists of: 1) a sequence of Pawlak’s approximation spaces (U,Ci), where indexes i from set I are linearly ordered degrees of contexts (I, <), and Ci is the universum partition U, 2) a sequence of binary relations on sets included (...) in U, relations called context relations indexed with degrees of contexts. The introduction of relations of contexts of sets was inspired by the work of W. Ziarnko (1993). Intuitively, set X is the context of set Y to the degree i, when on the basis of knowledge of the elements of set X we can obtain knowledge about the belonging of these elements to set Y to the degree i which is a degree of uncertainty or ambiguity, or inaccuracy. The operations of approximation of sets Ci-, BNi, Ci+, called lower approximation of the degree i, boundary of the degree i, upper approximation of the degree i, are formulated in a way which is analogous with the systems of Pawlak’s approximation, by expanding their formulas accordingly. In the next part of the work, it is shown (in an analogous way to Bryniarski’s work (1989)) that one can define the following operations on contextual rough sets: the union of contextual rough sets, the intersection of contextual rough sets and the complement of contextual rough set. It is proved that the algebra of contextual rough sets is a ditributive lattice with a unit and with a zero. On the basis of the results presented above the problem of defining operations on contextual rough sets by membership relations (Bryniarski 1989) may be formulated analogously to the classical operations on sets. (shrink)

The category-theoretic representation of quantum event structures provides a canonical setting for confronting the fundamental problem of truth valuation in quantum mechanics as exemplified, in particular, by Kochen–Specker’s theorem. In the present study, this is realized on the basis of the existence of a categorical adjunction between the category of sheaves of variable local Boolean frames, constituting a topos, and the category of quantum event algebras. We show explicitly that the latter category is equipped with an object of truth values, (...) or classifying object, which constitutes the appropriate tool for assigning truth values to propositions describing the behavior of quantum systems. Effectively, this category-theoretic representation scheme circumvents consistently the semantic ambiguity with respect to truth valuation that is inherent in conventional quantum mechanics by inducing an objective contextual account of truth in the quantum domain of discourse. The philosophical implications of the resulting account are analyzed. We argue that it subscribes neither to a pragmatic instrumental nor to a relative notion of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature. (shrink)

The notion of a context in formal concept analysis and that of an approximation space in rough set theory are unified in this study to define a Kripke context. For any context (G,M,I), a relation on the set G of objects and a relation on the set M of properties are included, giving a structure of the form ((G,R), (M,S), I). A Kripke context gives rise to complex algebras based on the collections of protoconcepts and semiconcepts of the underlying context. (...) On abstraction, double Boolean algebras (dBas) with operators and topological dBas are defined. Representation results for these algebras are established in terms of the complex algebras of an appropriate Kripke context. As a natural next step, logics corresponding to classes of these algebras are formulated. A sequent calculus is proposed for contextual dBas, modal extensions of which give logics for contextual dBas with operators and topological contextual dBas. The representation theorems for the algebras result in a protoconcept-based semantics for these logics. (shrink)

The set (X, J) of fuzzy subsetsf:XJ of a setX can be equipped with a structure of -valued ukasiewicz-Moisil algebra, where is the order type of the totally ordered setJ. Conversely, every ukasiewicz-Moisil algebra — and in particular every Post algebra — is isomorphic to a subalgebra of an algebra of the form (X, J), whereJ has an order type . The first result of this paper is a characterization of those -valued ukasiewicz-Moisil algebras which are (...) isomorphic to an algebra of the form (X, J) (Theorem 1). Then we prove that (X, J) is a Post algebra if and only if the setJ is dually well-ordered (Theorem 2) and we give a characterization of those -valued Post algebras with are isomorphic to an algebra of the form (X, J) (Theorem 3 and Proposition 2). (shrink)

We consider the sets definable in the countable models of a weakly o-minimal theory T of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic , in other words when each of these definable sets admits, if infinite, an infinite coinfinite definable subset. We show that this is true if and only if T has no infinite definable discrete subset. We examine the same problem among arbitrary theories of mere linear orders. Finally we prove (...) that, within expansions of Boolean lattices, every weakly o-minimal theory is p-ω-categorical. (shrink)

In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder R, its rough set-based Nelson algebra can be obtained by applying Sendlewski’s well-known construction. We prove that if the set of all R-closed elements, which may be viewed as the set of completely defined objects, is cofinal, then the rough set-based Nelson algebra determined by the quasiorder (...) R forms an effective lattice, that is, an algebraic model of the logic E 0, which is characterised by a modal operator grasping the notion of “to be classically valid”. We present a necessary and sufficient condition under which a Nelson algebra is isomorphic to a rough set-based effective lattice determined by a quasiorder. (shrink)

Using a combinatorial theorem of Herwig on extending partial isomorphisms of relational structures, we give a simple proof that certain classes of algebras, including Crs, polyadic Crs, and WA, have the `finite base property' and have decidable universal theories, and that any finite algebra in each class is representable on a finite set.

Using a combinatorial theorem of Herwig on extending partial isomorphisms of relational structures, we give a simple proof that certain classes of algebras, including Crs, polyadic Crs, and WA, have the `finite base property' and have decidable universal theories, and that any finite algebra in each class is representable on a finite set.

The aim of this paper is to give a new proof for the decidability and finite model property of first-order logic with two variables (without function symbols), using a combinatorial theorem due to Herwig. The results are proved in the framework of polyadic equality set algebras of dimension two (Pse 2 ). The new proof also shows the known results that the universal theory of Pse 2 is decidable and that every finite Pse 2 can be represented on a finite (...) base. Since the class Cs 2 of cylindric set algebras of dimension 2 forms a reduct of Pse 2 , these results extend to Cs 2 as well. (shrink)

The aim of this paper is to give a new proof for the decidability and finite model property of first-order logic with two variables, using a combinatorial theorem due to Herwig. The results are proved in the framework of polyadic equality set algebras of dimension two. The new proof also shows the known results that the universal theory of Pse$_2$ is decidable and that every finite Pse$_2$ can be represented on a finite base. Since the class Cs$_2$ of cylindric set (...) algebras of dimension 2 forms a reduct of Pse$_2$, these results extend to Cs$_2$ as well. (shrink)

This paper is devoted to Plithogeny, Plithogenic Set, and its extensions. These concepts are branches of uncertainty and indeterminacy instruments of practical and theoretical interest. Starting with some examples, we proceed towards general structures. Then we present definitions and applications of the principal concepts derived from plithogeny, and relate them to complex problems.

We study the class of all strongly constructivizable models having \(\omega \) -stable theories in a fixed finite rich signature. It is proved that the Tarski–Lindenbaum algebra of this class considered together with a Gödel numbering of the sentences is a Boolean \(\Sigma ^1_1\) -algebra whose computable ultrafilters form a dense subset in the set of all ultrafilters; moreover, this algebra is universal with respect to the class of all Boolean \(\Sigma ^1_1\) -algebras. This gives a characterization (...) to the Tarski-Lindenbaum algebra of the class of all strongly constructivizable models with \(\omega \) -stable theories. (shrink)

The algebra of sets has, basically, two different types of symbols. One type of symbol (∩, ?, +, ?) defines another set from two other sets. A second type of symbol (?, ?, =, ?) makes a proposition about two sets. When the construction of these two types of symbols is based on the same four-dot matrix as the logic symbols described in a previous paper, the three symbol types then dovetail together into a harmonious whole (...) that greatly simplifies derivation in the algebra of sets. (shrink)

Experiments in cognitive neuroscience build a setup whose set of controlled stimuli and rules elicits a cognitive process in a participant. This setup requires researchers to decide the value of quite a few parameters along several dimensions. We call ‘’contextual factors’’ the parameters often assumed not to change the cognitive process elicited and are free to vary across the experiment’s repetitions. Against this assumption, empirical evidence shows that many of these contextual factors can significantly influence cognitive performance. Nevertheless, (...) it is not entirely clear what it means for a cognitive phenomenon to be context-sensitive and how to identify context-sensitivity experimentally. We claim that a phenomenon can be context-sensitive either because it is only triggered within a specific context or because different contexts change its manifestation conditions. Assessing which of these forms of context-sensitivity is present in a given phenomenon requires a criterion for individuating it across contextual variations. We argue that some inter-level experiments that, within the mechanistic approach to explanation, are required to identify relations of constitutive relevance between a phenomenon and a mechanism, are also necessary for individuating the phenomenon across its contextual variations. We articulate a criterion according to which behavioral variations across contexts indicate different phenomena if and only if the mechanistic activities, components and/or organizational properties recruited in each context are different. We support this approach by showing how it is applied in paradigmatic studies addressing cognitive performance differences resulting from contextual variations of task features, such as stimulus type and response modality. Finally, we address the challenge that a form of context-sensitivity possessed by the so-called ‘multifunctional mechanisms’ is incompatible with our proposal because it entails that the same mechanism can be recruited in different contexts to produce different phenomena. We examine key cases of multifunctionality and argue that they are consistent with our proposal because a single mechanism can have different components, activities and/or organizational properties in different contexts. Thus, these modifications may not affect the identity of a mechanism, and they could explain how it produced different phenomena in those contexts. (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; (...) and a natural extension of BLT is definitionally equivalent with ZF. (shrink)

S. Ulam asked about the number of nonisomorphic projective algebras with k generators. This paper answers his question for projective algebras of finite dimension at least three and shows that there are the maximum possible number, continuum many, of nonisomorphic one-generated structures of finite dimension n, where n is at least three, of the following kinds: projective set algebras, projective algebras, diagonal-free cylindric set algebras, diagonal-free cylindric algebras, cylindric set algebras, and cylindric algebras. The results of this paper extend earlier (...) results to the collection of cylindric set algebras and provide a uniform proof for all the results. Extensions of these results for dimension two are discussed where some modifications on the hypotheses are needed. Furthermore for α |geq 2, the number of isomorphism classes of regular locally finite cylindric set algebras of dimension α of the following two kinds are computed: ones of power κ for infinite $\kappa \geq|\alpha|$ , and ones with a single generator. (shrink)

We construct an algebra of generalized functions endowed with a canonical embedding of the space of Schwartz distributions.We offer a solution to the problem of multiplication of Schwartz distributions similar to but different from Colombeau’s solution.We show that the set of scalars of our algebra is an algebraically closed field unlike its counterpart in Colombeau theory, which is a ring with zero divisors. We prove a Hahn–Banach extension principle which does not hold in Colombeau theory. We establish a (...) connection between our theory with non-standard analysis and thus answer, although indirectly, a question raised by Colombeau. This article provides a bridge between Colombeau theory of generalized functions and non-standard analysis. (shrink)

Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem yield an (...) algebraic completeness theorem for the three-valued logic. This in turn leads to a Henkin-style completeness theorem. Adequacy with respect to a family of Kripke models for de Finetti's logic, Łukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated. The extension to first-order yields a short proof of adequacy for Körner's logic of inexact predicates. (shrink)

Post algebras of order + as a semantic foundation for +-valued predicate calculi were examined in [5]. In this paper Post spaces of order + being a modification of Post spaces of order n2 (cf. Traczyk [8], Dwinger [1], Rasiowa [6]) are introduced and Post fields of order + are defined. A representation theorem for Post algebras of order + as Post fields of sets is proved. Moreover necessary and sufficient conditions for the existence of representations preserving a given (...) set of infinite joins and infinite meets are established and applied to Lindenbaum-Tarski algebras of elementary theories based on +-valued predicate calculi in order to obtain a topological characterization of open theories. (shrink)

In this work, we discuss a formal way of dealing with the properties of contextual systems. Our approach is to assume that properties describing the same physical quantity, but belonging to different measurement contexts, are indistinguishable in a strong sense. To construct the formal theoretical structure, we develop a description using quasi-set theory, which is a set-theoretical framework built to describe collections of elements that violate Leibnitz's principle of identity of indiscernibles. This framework allows us to consider a new (...) ontology in order to study the properties of quantum systems. (shrink)

It is commonly understood that over-arching transcendental values (TVs) play a major role in directly influencing individual and group behaviours, including those relating to the environment. This paper challenges this approach, by arguing that there is good evidence to indicate that personal contexts – rather than TVs – inform many decisions that individuals need to make. As such, the paper argues that individuals use their TVs as a guide to forming contextual values, in a way that TVs only influence (...) daily behaviours indirectly. In order to review the potential utility of these arguments, we offer a secondary analysis of the International Social Survey Programme. The results indicate that contexts can influence behaviours independently of the set of (transcendental) values that people may hold. (shrink)

We consider formal theories synonymous with various free categories . Their Lindenbaum algebras may be described as the lattices of subobjects of a terminator. These theories have intuitionistic logic. We show that the Lindenbaum algebras of second order and higher order arithmetic , and set theory are not isomorphic to the Lindenbaum algebras of first order theories such as arithmetic . We also show that there are only five kernels of representations of the free Heyting algebra on one generator (...) in these Lindenbaum algebras. (shrink)

The Oxford Handbooks of Political Science is a ten-volume set of reference books offering authoritative and engaging critical overviews of the state of political science. This volume, The Oxford Handbook of Contextual Political Analysis, sets out to synthesize and critique for the first time those approaches to political science that offer a more fine-grained qualitative analysis of the political world. The work in the volume has a common aim in being sensitive to the thoughts of contextual nuances (...) that disappear from large-scale quantitative modelling or explanations based on abstract, general, universal laws of human behavior. It shows that "context matters" in a great many ways: philosophical context matters; psychological context matters; cultural and historical contexts matter; place, population, and technology all matter. By showcasing scholars who specialize in the analysis of all these contexts side-by-side, the Oxford Handbook of Contextual Political Analysis shows how political scientists can take those crucial contextual factors systematically into account. (shrink)

In 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras, He asked whether every model of his abstract theory could be represented as a concrete algebra of binary relations. He and Jonsson obtained some initial, positive results for special classes of abstract relation algebras. But Lyndon showed, in 1950, that in general the answer to Tarski's question is negative. Monk proved later that the answer remains negative even if (...) one adjoins finitely many new axioms to Tarski's system. In this paper we describe a far-reaching generalization of the positive results of Jonsson and Tarski, as well as of some later, related results of Maddux. We construct a class of concrete models of Tarski's axioms-called coset relation algebras-that are very close in spirit to algebras of binary relations, but are built using systems of groups and cosets instead of elements of a base set. The models include all algebras of binary relations, and many non-representable relation algebras as well, We prove that every atomic relation algebra satisfying a certain measurability condition-a condition generalizing the conditions imposed by Jonsson and Tarski-is essentially isomorphic to a coset relation algebra. The theorem raises the possibility of providing a positive solution to Tarski's problem by using coset relation algebras instead of the standard algebras of binary relations. (shrink)

The semantics of directional prepositions is investigated from the perspective of aspect. What distinguishes telic PPs (like to the house) from atelic PPs (like towards the house), taken as denoting sets of paths, is their algebraic structure: atelic PPs are cumulative, closed under the operation of concatenation, telic PPs are not. Not only does this allow for a natural and compositional account of how PPs contribute to the aspect of a sentence, but it also guides our understanding of the (...) lexical semantics of prepositions in important ways. Semantically, prepositions turn out to be quite similar to nouns and verbs. Nominal distinctions (like singular and plural, mass and count) and verbal classes (like semelfactives and degree achievements) have their prepositional counterparts. (shrink)

We show that the conceptual distance between any two theories of first-order logic is the same as the generator distance between their Lindenbaum–Tarski algebras of concepts. As a consequence of this, we show that, for any two arbitrary mathematical structures, the generator distance between their meaning algebras (also known as cylindric set algebras) is the same as the conceptual distance between their first-order logic theories. As applications, we give a complete description for the distances between meaning algebras corresponding to structures (...) having at most three elements and show that this small network represents all the possible conceptual distances between complete theories. As a corollary of this, we will see that there are only two non-trivial structures definable on three-element sets up to conceptual equivalence (i.e., up to elementary plus definitional equivalence). (shrink)

Compositionality is a principle used in logic, philosophy, mathematics, linguistics, and computer science for assigning meanings to language expressions in a systematic manner following syntactic construction, thereby allowing for a perspicuous algebraic view of the syntax-semantics interface. Yet the status of the principle remains under debate, with positions ranging from compositionality always being achievable to its having genuine empirical content. This paper attempts to sort out some major issues in all this from a logical perspective. First, we stress the fundamental (...) harmony between Compositionality and its apparent antipode of Contextuality that locates meaning in interaction with other linguistic expressions and in other settings than the actual one. Next, we discuss basic further desiderata in designing and adjudicating a compositional semantics for a given language in harmony with relevant contextual syntactic and semantic cues. In particular, in a series of concrete examples in the realm of logic, we point out the dangers of over-interpreting compositional solutions, the ubiquitous entanglement of assigning meanings and the key task of explaining given target inferences, and the dynamics of new language design, illustrating how even established compositional semantics can be rethought in a fruitful manner. Finally, we discuss some fresh perspectives from the realm of game semantics for natural and formal languages, the general setting for Samson Abramsky’s influential work on programming languages and process logics. We highlight outside-in coalgebraic perspectives on meanings as finite or infinitely unfolding behavior that might challenge and enrich current discussions of compositionality. (shrink)

Recent financial fraud legislation such as the Dodd–Frank Act and the Sarbanes–Oxley Act (U.S. House of Representatives, Dodd-Frank Wall Street Reform and Consumer Protection Act of 2010, [H.R. 4173], 2010 ; U.S. House of Representatives, The Sarbanes–Oxley Act of 2002, Public Law 107-204 [H.R. 3763], 2002 ) relies heavily on whistleblowers for enforcement, and offers protection and incentives for whistleblowers. However, little is known about many aspects of the whistleblowing decision, especially the effects of contextual and wrongdoing attributes on (...) organizational members’ willingness to report fraud. We extend the ethics literature by experimentally investigating how the nature of the wrongdoing and the awareness of those surrounding the whistleblower can influence whistleblowing. As predicted, we find that employees are less likely to report: (1) financial statement fraud than theft; (2) immaterial than material financial statement fraud; (3) when the wrongdoer is aware that the potential whistleblower has knowledge of the fraud; and (4) when others in addition to the wrongdoer are not aware of the fraud. Our findings extend whistleblowing research in several ways. For instance, prior research provides little evidence concerning the effects of fraud type, wrongdoer awareness, and others’ awareness on whistleblowing intentions. We also provide evidence that whistleblowing settings represent an exception to the well-accepted theory of diffusion of responsibility. Our participants are professionals who represent the likely pool of potential whistleblowers in organizations. (shrink)

Some part of the debate between minimalists and contextualists can be construed as merely terminological and can be resolved by agreeing to a certain division of labor. Minimalist claims are to be understood as claims about what is needed for adequate formal compositional semantic models of language understood in abstraction from real conversational contexts. Contextualist claims are ones about how language users produce and understand utterances by manipulating features of the psychological and discourse contexts of the conversational participants in real (...) conversational settings. However, some minimalists have attempted to engage contextualists more directly by defending a form of psychological minimalism. The minimal proposition expressed by a sentence S is construed either as the most general content shared by all possible utterances of S or as the content that expresses the fewest commitments. Both conceptions are shown to be problematic by an extended analysis of the de-contextualized sentence ‘John is ready’. Finally, evidence is presented from the psychological literature to show that lack of contextual clues can seriously degrade understanding. This evidence points to the crucial role of discourse factors, such as conversational topics and other contextual framing devices, in utterance understanding.Parte do debate opondo contextualistas e minimalistas pode ser reconstruída como meramente terminológico e poderia ser resolvido com um acordo sobre uma certa divisão do trabalho. As teses dos minimalistas podem ser entendidas como teses sobre o que é preciso para construir modelos semânticos, formais, composicionais e adequados da linguagem compreendida em completa abstração dos contextos conversacionais reais. As teses contextualistas dizem respeito à maneira como os usuários da linguagem produzem e entendem frases, pela manipulação de traços dos contextos psicológicos e discursivos dos participantes engajados em conversações em ambientes conversacionais reais. No entanto, alguns minimalistas tentaram relançar o debate defendendo uma forma de minimalismo psicológico. A proposição mínima que uma frase S expressa é construída, ou como o conteúdo mais geral compartilhado por todas as enunciações de S, ou como o conteúdo que expressa os menores compromissos. Ambas as concepções se revelam problemáticas através de uma análise extensa da frase descontextualizada “João está pronto”. Finalmente, evidências presentes na literatura em psicologia são apresentadas mostrando que a falta de pistas contextuais afeta negativamente a compreensão. Essas evidências apontam para o papel crucial, para a compreensão de enunciação, dos fatores do discurso, tais como os tópicos conversacionais e outros mecanismos de enquadramento contextual. (shrink)

Let p be prime number, K be a p‐adically closed field, a semi‐algebraic set defined over K and the lattice of semi‐algebraic subsets of X which are closed in X. We prove that the complete theory of eliminates quantifiers in a certain language, the ‐structure on being an extension by definition of the lattice structure. Moreover it is decidable, contrary to what happens over a real closed field for. We classify these ‐structures up to elementary equivalence, and get in particular (...) that the complete theory of only depends on m, not on K nor even on p. As an application we obtain a classification of semi‐algebraic sets over countable p‐adically closed fields up to so‐called “pre‐algebraic” homeomorphisms. (shrink)

Compositionality is a principle used in logic, philosophy, mathematics, linguistics, and computer science for assigning meanings to language expressions in a systematic manner following syntactic construction, thereby allowing for a perspicuous algebraic view of the syntax-semantics interface. Yet the status of the principle remains under debate, with positions ranging from compositionality always being achievable to its having genuine empirical content. This paper attempts to sort out some major issues in all this from a logical perspective. First, we stress the fundamental (...) harmony between Compositionality and its apparent antipode of Contextuality that locates meaning in interaction with other linguistic expressions and in other settings than the actual one. Next, we discuss basic further desiderata in designing and adjudicating a compositional semantics for a given language in harmony with relevant contextual syntactic and semantic cues. In particular, in a series of concrete examples in the realm of logic, we point out the dangers of over-interpreting compositional solutions, the ubiquitous entanglement of assigning meanings and the key task of explaining given target inferences, and the dynamics of new language design, illustrating how even established compositional semantics can be rethought in a fruitful manner. Finally, we discuss some fresh perspectives from the realm of game semantics for natural and formal languages, the general setting for Samson Abramsky’s influential work on programming languages and process logics. We highlight outside-in coalgebraic perspectives on meanings as finite or infinitely unfolding behavior that might challenge and enrich current discussions of compositionality. (shrink)

We introduce a new sheaf-theoretic construction called the ideal completion of a category and investigate its logical properties. We show that it satisfies the axioms for a category of classes in the sense of Joyal and Moerdijk [17], so that the tools of algebraic set theory can be applied to produce models of various elementary set theories. These results are then used to prove the conservativity of different set theories over various classical and constructive type theories.

Contextuality is a particular quantum phenomenon that has no analogue in classical probability theory. Given two independent systems, a natural question is how to represent such a situation as a single test space. In other words, how separate contextuality scenarios combine into a joint scenario. Under the premise that the the allowed probabilistic models satisfy the No Signalling principle, Foulis and Randall defined the unique possible way to compose two contextuality scenarios. When composing strictly-more than two test spaces, however, a (...) variety of possible composition methods have been conceived. Nevertheless, all these formally-distinct composition methods appear to give rise to observationally equivalent scenarios, in the sense that the different compositions all allow precisely the same sets of classical and quantum probabilistic models. This raises the question of whether this property of invariance-under-composition-method is special to classical and quantum probabilistic models, or if it generalizes to other probabilistic models as well, our particular focus being \ models. \ models are physically important since, when applied to scenarios constructed by a particular composition rule, coincide with the well-defined “Almost Quantum Correlations”. In this work we see that some composition rules, however, give rise to scenarios with inequivalent allowed sets of \ models. We find that the non-trivial dependence of \ models on the choice of composition method is apparently an artifact of failure of those composition rules to capture the orthogonality relations given by the Local Orthogonality principle. We prove that \ models satisfy invariance-under-composition-method for all the constructive compositions protocols which do capture this notion of Local Orthogonality. (shrink)