We describe which subdirectly irreducible flat algebras arise in the variety generated by an arbitrary class of flat algebras with absorbing bottom element. This is used to give an elementary translation of the universal Horn logic of algebras, and more generally still, partial structures into the equational logic of conventional algebras. A number of examples and corollaries follow. For example, the problem of deciding which finite algebras of some fixed type have a finite basis for their quasi-identities is (...) shown to be equivalent to the finite identity basis problem for the finite members of a finitely based variety with definable principal congruences. (shrink)

The operational semantics of Urquhart is a deep and important part of the development of relevant logics. In this paper, I present an overview of work on Urquhart’s operational semantics. I then present the basics of collection frames. Finally, I show how one kind of collection frame, namely, functional set frames, is equivalent to Urquhart’s semilattice semantics.

We devise exact conditions under which a join semilattice with a weak contact relation can be semilattice embedded into a Boolean algebra with an overlap contact relation, equivalently, into a distributive lattice with additive contact relation. A similar characterization is proved with respect to Boolean algebras and distributive lattices with weak contact, not necessarily additive, nor overlap.

Let a be a Kleene's ordinal notation of a nonzero computable ordinal. We give a sufficient condition on a, so that for every \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\Sigma ^{-1}_a$\end{document}‐computable family of two embedded sets, i.e., two sets A, B, with A properly contained in B, the Rogers semilattice of the family is infinite. This condition is satisfied by every notation of ω; moreover every nonzero computable ordinal that is not sum of any two smaller ordinals has a notation that satisfies this condition. On (...) the other hand, we also give a sufficient condition on a, that yields that there is a \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\Sigma ^{-1}_a$\end{document}‐computable family of two embedded sets, whose Rogers semilattice consists of exactly one element; this condition is satisfied by all notations of every successor ordinal bigger than 1, and by all notations of the ordinal ω + ω; moreover every computable ordinal that is sum of two smaller ordinals has a notation that satisfies this condition. We also show that for every nonzero n ∈ ω, or n = ω, and every notation a of a nonzero ordinal there exists a \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\Sigma ^{-1}_a$\end{document}‐computable family of cardinality n, whose Rogers semilattice consists of exactly one element. (shrink)

The semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW are defined by semilattice models in which conjunction and disjunction are interpreted in a natural way. For each of them, there is a cut-free labelled sequent calculus with plural succedents . We prove that these systems are equivalent, with respect to provable formulas, to the restricted systems with single succedents . Moreover, using this equivalence, we give a new Hilbert-style axiomatizations for ∪R and ∪T and prove equivalence between two (...) semantics for the contractionless logics ∪RW and ∪TW. (shrink)

The paper discusses regularisation of dualities. A given duality between (concrete) categories, e.g. a variety of algebras and a category of representation spaces, is lifted to a duality between the respective categories of semilattice representations in the category of algebras and the category of spaces. In particular, this gives duality for the regularisation of an irregular variety that has a duality. If the type of the variety includes constants, then the regularisation depends critically on the location or absence of (...) constants within the defining identities. The role of schizophrenic objects is discussed, and a number of applications are given. Among these applications are different forms of regularisation of Priestley, Stone and Pontryagin dualities. (shrink)

We consider${\cal S}$, the class of finite semilattices;${\cal T}$, the class of finite treeable semilattices; and${{\cal T}_m}$, the subclass of${\cal T}$which contains trees with branching bounded bym. We prove that${\cal E}{\cal S}$, the class of finite lattices with linear extensions, is a Ramsey class. We calculate Ramsey degrees for structures in${\cal S}$,${\cal T}$, and${{\cal T}_m}$. In addition to this we give a topological interpretation of our results and we apply our result to canonization of linear orderings on finite semilattices. In (...) particular, we give an example of a Fraïssé class${\cal K}$which is not a Hrushovski class, and for which the automorphism group of the Fraïssé limit of${\cal K}$is not extremely amenable but is uniquely ergodic. (shrink)

Limitwise monotonic sets and functions constitute an important tool in computable structure theory. We investigate limitwise monotonic numberings. A numbering ν of a family is limitwise monotonic (l.m.) if every set is the range of a limitwise monotonic function, uniformly in k. The set of all l.m. numberings of S induces the Rogers semilattice. The semilattices exhibit a peculiar behavior, which puts them in‐between the classical Rogers semilattices (for computable families) and Rogers semilattices of ‐computable families. We show that (...) every Rogers semilattice of a ‐computable family is isomorphic to some semilattice. On the other hand, there are infinitely many isomorphism types of classical Rogers semilattices which can be realized as semilattices. In particular, there is an l.m. family S such that is isomorphic to the upper semilattice of c.e. m‐degrees. We prove that if an l.m. family S contains more than one element, then the poset is infinite, and it is not a lattice. The l.m. numberings form an ideal (w.r.t. reducibility between numberings) inside the class of all ‐computable numberings. We prove that inside this class, the index set of l.m. numberings is ‐complete. (shrink)

This paper describes a version of type identity physicalism, which we call Flat Physicalism, and shows how it meets several objections often raised against identity theories. This identity theory is informed by recent results in the conceptual foundations of physics, and in particular clar- ifies the notion of ‘physical kinds’ in light of a conceptual analysis of the paradigmatic case of reducing thermody- namics to statistical mechanics. We show how Flat Physi- calism is compatible with the appearance of (...) multiple realisation in the special sciences, and how and in what sense the special sciences laws are autonomous from the laws of physics, despite the full reductive picture of Flat Physicalism. We compare our view with a recent proposal by William Bechtel that accounts for the appearance of levels in mechanistic explanations. (shrink)

We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics.

Flat Physicalism is a theory of through and through type reductive physicalism, understood in light of recent results in the conceptual foundations of physics. In Flat Physicalism, as in physics, so-called "high level" concepts and laws are nothing but partial descriptions of the complete states of affairs of the universe. "Flat physicalism" generalizes this idea, to form a reductive picture in which there is no room for levels, neither explanatory nor ontological. The paper explains how phenomena that (...) seem to be cases of multiple realization of special sciences kinds by physical kinds are fully explains in a reductive physicalist way. Finally, the paper exemplifies the fruitfulness of this reductive approach by showing how it can account even for a case of high-level anomaly in a deterministic universe (for example anomaly of the mental, should this turn our to be a fact about the world) - a result that may be called Anomalous Physicalism. (shrink)

The main contention of this article is that current approaches to ontological emergence are not comprehensive, in that they share a common bias that make them blind to some conceptual space available to emergence. In this article, I devise an alternative perspective on ontological emergence called ‘flat emergence’, which is free of such a bias. The motivation is twofold: not only does flat emergence constitute another viable way to fulfill the initial emergentist promise, but it also allows for (...) making sense of some emergence ascriptions that traditional accounts are unable to accommodate. (shrink)

We discuss the concepts of Weyl and Riemann frames in the context of metric theories of gravity and state the fact that they are completely equivalent as far as geodesic motion is concerned. We apply this result to conformally flat spacetimes and show that a new picture arises when a Riemannian spacetime is taken by means of geometrical gauge transformations into a Minkowskian flat spacetime. We find out that in the Weyl frame gravity is described by a scalar (...) field. We give some examples of how conformally flat spacetime configurations look when viewed from the standpoint of a Weyl frame. We show that in the non-relativistic and weak field regime the Weyl scalar field may be identified with the Newtonian gravitational potential. We suggest an equation for the scalar field by varying the Einstein-Hilbert action restricted to the class of conformally-flat spacetimes. We revisit Einstein and Fokker’s interpretation of Nordström scalar gravity theory and draw an analogy between this approach and the Weyl gauge formalism. We briefly take a look at two-dimensional gravity as viewed in the Weyl frame and address the question of quantizing a conformally flat spacetime by going to the Weyl frame. (shrink)

The mechanistic framework traditionally comes bundled with a multi-level view. Some ascribe ontological weight to these levels, whereas others claim that characterising a higher-level entity and the corresponding lower-level mechanism are only different descriptions of the same thing. The goal of this paper is to develop a consistent metaphysical picture that can underly the latter position. According to this flat view, wholes and their parts are embedded in the same network of interacting units. The flat view preserves the (...) original virtues of the mechanistic approach and is able to avoid the problems associated with the multi-level view. (shrink)

I resolve an argument over “flat” versus “dimensioned” theories of realization. The theories concern, in part, whether realized and realizing properties are instantiated by the same individual (the flat theory) or different individuals in a part-whole relationship (the dimensioned theory). Carl Gillett has argued that the two views conflict, and that flat theories should be rejected on grounds that they fail to capture scientific cases involving a dimensioned relation between individuals and their constituent parts. I argue on (...) the contrary that the two types of theory complement one another, even on the same range of scientific cases. I illustrate the point with two popular functionalist versions of flat and dimensioned positions – causal-role functionalism and a functional analysis by decomposition – that combine into a larger picture I call “comprehensive functional realization.” I also respond to some possible objections to this synthesis of functionalist views. (shrink)

An l-hemi-implicative semilattice is an algebra \\) such that \\) is a semilattice with a greatest element 1 and satisfies: for every \, \ implies \ and \. An l-hemi-implicative semilattice is commutative if if it satisfies that \ for every \. It is shown that the class of l-hemi-implicative semilattices is a variety. These algebras provide a general framework for the study of different algebras of interest in algebraic logic. In any l-hemi-implicative semilattice it is (...) possible to define an derived operation by \ \wedge \). Endowing \\) with the binary operation \ the algebra \\) results an l-hemi-implicative semilattice, which also satisfies the identity \. In this article, we characterize the commutative l-hemi-implicative semilattices. We also provide many new examples of l-hemi-implicative semilattice on any semillatice with greatest element. Finally, we characterize congruences on the classes of l-hemi-implicative semilattices introduced earlier and we characterize the principal congruences of l-hemi-implicative semilattices. (shrink)

An l-hemi-implicative semilattice is an algebra $$\mathbf {A} = $$ A= such that $$$$ is a semilattice with a greatest element 1 and satisfies: for every $$a,b,c\in A$$ a,b,c∈A, $$a\le b\rightarrow c$$ a≤b→c implies $$a\wedge b \le c$$ a∧b≤c and $$a\rightarrow a = 1$$ a→a=1. An l-hemi-implicative semilattice is commutative if if it satisfies that $$a\rightarrow b = b\rightarrow a$$ a→b=b→a for every $$a,b\in A$$ a,b∈A. It is shown that the class of l-hemi-implicative semilattices is a variety. (...) These algebras provide a general framework for the study of different algebras of interest in algebraic logic. In any l-hemi-implicative semilattice it is possible to define an derived operation by $$a \sim b := \wedge $$ a∼b:=∧. Endowing $$$$ with the binary operation $$\sim $$ ∼ the algebra $$$$ results an l-hemi-implicative semilattice, which also satisfies the identity $$a \sim b = b \sim a$$ a∼b=b∼a. In this article, we characterize the commutative l-hemi-implicative semilattices. We also provide many new examples of l-hemi-implicative semilattice on any semillatice with greatest element. Finally, we characterize congruences on the classes of l-hemi-implicative semilattices introduced earlier and we characterize the principal congruences of l-hemi-implicative semilattices. (shrink)

Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well (...) as a simplified characterization of it. The optimal deductive filters turn out to be the traces in the Hilbert algebra of the prime filters of the distributive lattice free extension of the free implicative semilattice extension of the Hilbert algebra. To define the concept of optimal deductive filter we need to introduce the concept of a strong Frink ideal for Hilbert algebras which generalizes the concept of a Frink ideal for posets. (shrink)

The variety of Brouwerian semilattices is amalgamable and locally finite; hence, by well-known results [19], it has a model completion. In this article, we supply a finite and rather simple axiomatization of the model completion.

We investigate the join semilattice of modal operators on a Boolean algebra B. Furthermore, we consider pairs ⟨f,g⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\langle f,g \rangle $$\end{document} of modal operators whose supremum is the unary discriminator on B, and study the associated bi-modal algebras.

In this paper we study pseudo-BCH algebras which are semilattices or lattices with respect to the natural relations ≤; we call them pseudo-BCH join-semilattices, pseudo-BCH meet-semilattices and pseudo-BCH lattices, respectively. We prove that the class of all pseudo-BCH join-semilattices is a variety and show that it is weakly regular, arithmetical at 1, and congruence distributive. In addition, we obtain the systems of identities defininig pseudo-BCH meet-semilattices and pseudo-BCH lattices.

We prove that the equational theory of a semigroups becomes undecidable if we add a semilattice structure with a ‘touch of symmetric difference’. As a corollary we obtain that the variety of all Boolean algebras with an associative binary operator has a ‘hereditarily’ undecidable equational theory. Our results have implications in logic, e.g. they imply undecidability of modal logics extending the Lambek Calculus and undecidability of Arrow Logics with an associative arrow modality.

There is a duality in our everyday view of belief. On the one hand, we sometimes speak of credence as a matter of degree. We talk of having some level of confidence in a claim (that a certain course of action is safe, for example, or that a desired event will occur) and explain our actions by reference to these degrees of confidence – tacitly appealing, it seems, to a probabilistic calculus such as that formalized in Bayesian decision theory. On (...) the other hand, we also speak of belief as an unqualified, or flat-out, state (‘plain belief’ as it is sometimes called), which is either categorically present or categorically absent. We talk of simply believing or thinking that something is the case, and we cite these flat-out attitudes in explanation of our actions – appealing to classical practical reasoning of the sort formalized in the so-called ‘practical syllogism’.1 This tension in everyday discourse is reflected in the theoretical literature on belief. In formal epistemology there is a division between those in the Bayesian tradition, who treat credence as graded, and those who think of it as a categorical attitude of some kind. The Bayesian perspective also contrasts with the dominant view in philosophy of mind, where belief is widely regarded as a categorical state (a token sentence of a mental language, inscribed in a functionally defined ‘belief box’, according to one popular account). A parallel duality is present in our everyday view of desire. Sometimes we talk of having degrees of preference or desirability; sometimes we speak simply of wanting or desiring something tout court, and, again, this tension is reflected in the theoretical literature. What should we make of these dualities? Are there two different types of belief and desire – partial and flat-out, as they are sometimes called? If so, how are they related? And how could both have a role in guiding rational action, as the everyday view has it? The last question poses a particular challenge in relation to flat-out belief and desire.. (shrink)

In the early 1970s, Alasdair Urquhart proposed a semilattice semantics for relevance logic which he provided with an influential informational interpretation. In this article, I propose a BHK-inspired reinterpretation of the semantics which is related to Kit Fine’s truthmaker semantics. I discuss and compare Urquhart’s and Fine’s semantics and show how simple modifications of Urquhart’s semantics can be used to characterize both full propositional intuitionistic logic and Jankov’s logic. I then present (quasi-)relevant companions for both of these systems. Finally, (...) I provide sound and complete labelled sequent calculi for all of the systems discussed. (shrink)

We give a new proof of the subanalyticity of the regular locus of a p-adic subanalytic set, replacing use of an approximation theorem by a more natural argument based on the flatness of certain homomorphisms given by Taylor expansions of strictly convergent power series at a non-standard point of Zmp.

The duality between congruence lattices of semilattices, and algebraic subsets of an algebraic lattice, is extended to include semilattices with operators. For a set G of operators on a semilattice S, we have \ \cong^{d} {{\rm S}_{p}}}\), where L is the ideal lattice of S, and H is a corresponding set of adjoint maps on L. This duality is used to find some representations of lattices as congruence lattices of semilattices with operators. It is also shown that these congruence (...) lattices satisfy the Jónsson–Kiefer property. (shrink)

A new description of gravitational motion will be proposed. It is part of the proper time formulation of physics as presented on the IARD 2000 conference. According to this formulation the proper time of an object is taken as its fourth coordinate. As a consequence, one obtains a circular space–time diagram where distances are measured with the Euclidean metric. The relativistic factor turns out to be of simple goniometric origin. It further follows that the Lagrangian for gravitational dynamics does not (...) require an interpretation in terms of curvature of space–time. The flat space model for gravitational dynamics leads to the correct predictions for the bending of light, the perihelion shift of Mercury and gravitational red-shift. The new theory is free of singularities. More important, the new formulation of gravitational dynamics restores the validity of the principle of addition of potentials. One therefore can find solutions for static gravitational configurations for which it is difficult to find the solution of the corresponding Einstein equations. The method will be illustrated by means of the orbital precession for non-spherical stellar mass distributions. In case of the bipole mass distribution the agreement with the predictions of the general theory of relativity is very striking. Nevertheless, the new model is far more simple. (shrink)

Assume T is a small superstable theory. We introduce the notion of a flat Morley sequence, which is a counterpart of the notion of an infinite Morley sequence in a type p, in case when p is a complete type over a finite set of parameters. We show that for any flat Morley sequence Q there is a model M of T which is τ-atomic over {Q}. When additionally T has few countable models and is 1-based, we prove (...) that within M there is an infinite Morley sequence I, with I $\subset$ dcl(Q), such that M is prime over I. (shrink)

Contact algebra is one of the main tools in region-based theory of space. In it is generalized by dropping the operation Boolean complement. Furthermore we can generalize contact algebra by dropping also the operation meet. Thus we obtain structures, called contact join-semilattices and structures, called distributive contact join-semilattices. We obtain a set-theoretical representation theorem for CJS and a relational representation theorem for DCJS. As corollaries we get also topological representation theorems. We prove that the universal theory of CJS and of (...) DCJS is the same and is decidable. (shrink)

This book examines the importance of flat ontologies for law and sociolegal theory. Associated with the emergence of new materialism in the humanities and social sciences, the elaboration of flat ontologies challenges the binarism that has maintained the separation of culture from nature, and the human from the nonhuman. Although most work in legal theory and sociolegal studies continues to adopt a non-flat, anthropocentric and immaterial take on law, the critique of this perspective is becoming more and (...) more influential. Engaging the increasing legal interest in flat ontologies, this book offers an account of the main theoretical perspectives, and their importance for law. Covering the work of the five major theorists in the area - Gabriel Tarde, Bruno Latour, Manuel DeLanda, Karen Barad and Graham Harman - the book aims to encourage this interest, as well as to explicate the important problems of and differences between these perspectives. Flat ontologies, the book demonstrates, can offer a valuable new perspective for understanding and thinking about law. This book will appeal mainly to scholars and students in legal theory and sociolegal studies; as well as others with interests in the posthumanist turn in philosophy and social theory. (shrink)

The Flats, a district near downtown Cleveland, was once was the vibrant heart of Midwestern industry and is now in the throes of change: Some of its warehouses and factories have been transformed into nightclubs and restaurants, while homes in adjacent neighborhoods have been replaced by mini-mansions. In Cleveland, photographer Andrew Borowiec documents the Flats today and evokes the way of life they once embodied. Given the rare opportunity to access one of Cleveland's vast steel mills before it was modernized (...) or destroyed, Borowiec employed his camera to explore the Flats and its monuments of American industry. His striking black and white images reveal the broken power and vulnerability of the once-mighty mill as well as its relation to the surrounding city and its neighborhoods. The commercial buildings, factories, warehouses, and iron bridges that sustained Cleveland's industrial pulse convey a quiet dignity in these compelling photographs, as do the modest frame houses that sheltered those who labored for decades in the Flats. As Clevelanders struggle to redefine themselves as citizens of a twenty-first-century corporate metropolis, the Flats stand as a haunting testament to a time when men worked with their hands and steel was indeed the backbone of our nation. Borowiec's compassionate but unflinchingly honest gaze challenges us to look both at and beyond the images of Cleveland and to meditate on our common history of loss and rebirth. (shrink)

One of the most pressing issues in the urban ghettos of the Cape Flats is that of gangsterism and the discourse of power and powerlessness that is its lifeblood. Media coverage over the past two years was littered with news on gangsterism as the City of Cape Town struggles to contain what some labelled a pandemic. It is a pandemic that is closely tied to a deprivation trap of poverty, marginalisation, isolation, unemployment and, ultimately, powerlessness. The latter concept of powerlessness (...) and its interplay with these factors constituted the main thrust of this article as it explores the concept of power as deeply relational with the economic, psycho-social and spiritual dimensions. It is proposed that Kingdom power challenges the status quo within such contexts and offers the church an alternative framework within which to engage prophetically. (shrink)

Let X be a set, and let $\hat{X} = \bigcup^\infty_{n = 0} X_n$ be the superstructure of X, where X 0 = X and X n + 1 = X n ∪ P(X n ) (P(X) is the power set of X) for n ∈ ω. The set X is called a flat set if and only if $X \neq \varnothing.\varnothing \not\in X.x \cap \hat X = \varnothing$ for each x ∈ X, and $x \cap \hat{y} = \varnothing$ for (...) x.y ∈ X such that x ≠ y, where $\hat{y} = \bigcup^\infty_{n = 0} y_n$ is the superstructure of y. In this article, it is shown that there exists a bijection of any nonempty set onto a flat set. Also, if W̃ is an ultrapower of X̂ (generated by any infinite set I and any nonprincipal ultrafilter on I), it is shown that W̃ is a nonstandard model of X: i.e., the Transfer Principle holds for X̂ and W̃, if X is a flat set. Indeed, it is obvious that W̃ is not a nonstandard model of X when X is an infinite ordinal number. The construction of flat sets only requires the ZF axioms of set theory. Therefore, the assumption that X is a set of individuals (i.e., $x \neq \varnothing$ and a ∈ x does not hold for x ∈ X and for any element a) is not needed for W̃ to be a nonstandard model of X. (shrink)

Paralleling the formal derivation of general relativity as a flat spacetime theory, we introduce in addition a preferred temporal foliation. The physical interpretation of the formalism is considered in the context of 5-dimensional “parametrized” and 4-dimensional preferred frame contexts. In the former case, we suggest that our earlier proposal of unconcatenated parametrized physics requires that the dependence on τ be rather slow. In the 4-dimensional case, we consider and tentatively reject several areas of physics that might require a preferred (...) foliation, but find a need for one in the process (“flowing”) theory of time. We then suggest why such a foliation might reasonably be unobservable. (shrink)

Future-directed intentions, it is widely held, involve behavioral dispositions. But of what kind? Suppose you now intend to Φ at future time t. Are you thereby now disposed to Φ at t no matter what? If so, your intention disposes you to Φ even if around t you will come to believe that Φ-ing would be crazy. And would not that be a crazy intention to have? – Like considerations have led Luca Ferrero and others to believe that only intentions (...) with strong internal conditions are capable of rationality. This paper explores in how far a broadly dispositional view of intention supports their claims. Its first point will come as a surprise: Intentions indeed involve dispositions toward follies in plenty. Natural objections against this bizarre-sounding claim are shown to fail, and standard counterfactual analyses of disposition locutions are shown to underpin it further. However, since the dispositions at issue are pro tanto dispositions, the consequences are not as odd as might be expected: When hedged by reasonable habits to reconsider one’s intentions, dispositions toward follies do not entail any actual crazy behavior. On balance, unconditional intention is therefore found rational after all. Dispositions toward crazy actions need not be crazy dispositions. (shrink)

In this essay I consider the device of depthlessness in film. I am interested in particular in the ways in which this device can determine, or at least raise questions about, the nature of the fictional world. Taking my cue from two films from the turn of the century – Gary Ross' 1998 film Pleasantville and Matthieu Kassovitz' 1995 La Haine – as well as, more broadly, arts historical and cultural theoretical debates, where rather more attention has been devoted to (...) the issue of depthlessness, I focus on moments in which depth, that is, in Andre Bazin's oft-cited words, the “continuity” of the fictional realm, is flattened so as to trace the correlation between depthlessness and the ontology of the fictional world. The two strategies I look at are shallow focus and the dolly zoom. What I intend, here, is to offer some first, superficial, reflections that may allow us to begin thinking about this cinematic notion of the depthless as a device and concept in its own right, with its own ration... (shrink)

This paper deals with axiomatization problems for varieties of residuated meet semilattice-ordered monoids. An internal characterization of the finitely subdirectly irreducible RSs is proved, and it is used to investigate the varieties of RSs within which the finitely based subvarieties are closed under finite joins. It is shown that a variety has this closure property if its finitely subdirectly irreducible members form an elementary class. A syntactic characterization of this hypothesis is proved, and examples are discussed.

We generalize Priestley duality for distributive lattices to a duality for distributive meet-semilattices. On the one hand, our generalized Priestley spaces are easier to work with than Celani’s DS-spaces, and are similar to Hansoul’s Priestley structures. On the other hand, our generalized Priestley morphisms are similar to Celani’s meet-relations and are more general than Hansoul’s morphisms. As a result, our duality extends Hansoul’s duality and is an improvement of Celani’s duality.

CRS(fc) denotes the variety of commutative residuated semilattice-ordered monoids that satisfy (x ⋀ e)k ≤ (x ⋀ e)k+1. A structural characterization of the subdi-rectly irreducible members of CRS(k) is proved, and is then used to provide a constructive approach to the axiomatization of varieties generated by positive universal subclasses of CRS(k).

“Flat pre-semantics” lets each parameter of truth (etc.) be considered sepa-rately and equally, and without worrying about grammatical complications. This allows one to become a little clearer on a variety of philosophical-logical points, such as the use fulness of Carnapian tolerance and the deep relativity of truth. A more definite result of thinking in terms of flat pre-semantics lies in the articulation of some instructive ways of categorizing operations on meanings in purely logical terms in relation to various (...) parame- ters of truth (etc.); namely, closing vs. leaving open, local vs. translocal, and anchored vs. unanchored. Basic relations among these categories are established. (shrink)