A quadratic space is a generalization of a Hilbert space. The geometry of certain kinds of subspaces (“closed,” “splitting,” etc.) is approached from the purely lattice theoretic point of view. In particular, theorems of Mackey and Kaplansky are given purely lattice theoretic proofs. Under certain conditions, the lattice of “closed” elements is a quantum proposition system (i.e., a complete orthomodular atomistic lattice with the covering property).

Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these ‘lattice spacing’ weights do not have to be independent of the direction of the arrow. We use this greater freedom to give a quantum geometric interpretation of discrete Markov processes with transition probabilities as arrow weights, namely taking the diffusion form ∂+f = f for the graph Laplacian Δθ, potential functions q, p built from the probabilities, (...) and finite difference ∂+ in the time direction. Motivated by this new point of view, we introduce a ‘discrete Schrödinger process’ as ∂+ψ = ıψ for the Laplacian associated to a bimodule connection such that the discrete evolution is unitary. We solve this explicitly for the 2-state graph, finding a 1-parameter family of such connections and an induced ‘generalised Markov process’ for f = |ψ|2 in which there is an additional source current built from ψ. We also mention our recent work on the quantum geometry of logic in ‘digital’ form over the field F2 = {0, 1}, including de Morgan duality and its possible generalisations. (shrink)

In this paper we introduce a new natural deduction system for the logic of lattices, and a number of extensions of lattice logic with different negation connectives. We provide the class of natural deduction proofs with both a standard inductive definition and a global graph-theoretical criterion for correctness, and we show how normalisation in this system corresponds to cut elimination in the sequent calculus for lattice logic. This natural deduction system is inspired both by Shoesmith and Smiley's multiple (...) conclusion systems for classical logic and Girard's proofnets for linear logic. (shrink)

We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Łukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras—the algebras of Łukasiewicz logic: all pre-existing proofs of this latter result make essential use of the Pierce amalgamation theorem for abelian lattice-ordered groups together with the categorical equivalence Γ between these groups and MV-algebras. Our main tools are elementary and geometric.

This paper investigates the structure of lattices of normal mono- and polymodal subframelogics, i.e., those modal logics whose frames are closed under a certain type of substructures. Nearly all basic modal logics belong to this class. The main lattice theoretic tool applied is the notion of a splitting of a complete lattice which turns out to be connected with the “geometry” and “topology” of frames, with Kripke completeness and with axiomatization problems. We investigate in detail subframe logics containing (...) K4, those containing polymodal Altn and subframe logics which are tense logics. (shrink)

The geometry of lattice universes in general is reviewed, and particular attention is given to the 3-geometry of a 5-black hole model universe at the momentarily static phase of maximum expansion as an illustration of the insights to be won by considering symmetries and reflections. Three models for the black holes in this lattice universe are compared and contrasted. Reasons are given for working with Misner's “flange backup” model. The geometry interior to the individual tetrahedral cell of this (...) lattice is compared and contrasted with the electrostatic field produced by a point charge located in the center of a cavity of the same shape that has perfectly conducting walls. (shrink)

This note is motivated by Whitehead’s researches in inclusion-based point-free geometry as exposed in An Inquiry Concerning the Principles of Natural Knowledge and in The concept of Nature. More precisely, we observe that Whitehead’s definition of point, based on the notions of abstractive class and covering, is not adequate. Indeed, if we admit such a definition it is also questionable that a point exists. On the contrary our approach, in which the diameter is a further primitive, enables us to avoid (...) such a drawback. Moreover, since such a notion enables us to define a metric in the set of points, our proposal looks to be a good starting point for a foundation of the geometry metrical in nature (as proposed, for example, by L.M. Blumenthal). (shrink)

Compactified Minkowski spacetime is suggested by conformal covariance of Maxwell equations, while E. Cartan's definition of simple spinors leads to the idea of compactified momentum space. Assuming both diffeomorphic to (S 3 × S 1 )/Z 2 , one may obtain in the conformally flat stereographic projection field theories both infrared and ultraviolet regularized. On the compact manifold themselves instead, Fourier integrals of wave-field oscillations would have to be replaced by Fourier series summed over indices of spherical eigenfunctions: n, l, (...) m, m′. Tentatively identifying those wave structures with spacetime itself (in the frame of Big-Bang) and/or with matter and radiation distribution, some large-scale (hydrogenic) and small-scale (lattice) space structures are conjectured. (shrink)

For $\Bbb {F}$ the field of real or complex numbers, let $CG(\Bbb {F})$ be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over $\Bbb {F}$ . Our purpose here is to show the equational theory of $CG(\Bbb {F})$ is decidable.

For a finite von Neumann algebra factor M, the projections form a modular ortholattice L(M). We show that the equational theory of L(M) coincides with that of some resp. all L(ℂ n × n ) and is decidable. In contrast, the uniform word problem for the variety generated by all L(ℂ n × n ) is shown to be undecidable.

The aim of the causal dynamical triangulations approach is to define nonperturbatively a quantum theory of gravity as the continuum limit of a lattice-regularized model of dynamical geometry. My aim in this paper is to give a concise yet comprehensive, impartial yet personal presentation of the causal dynamical triangulations approach.

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The (...) aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians. (shrink)

Features of consciousness difficult to understand in terms of conventional neuroscience have evoked application of quantum theory, which describes the fundamental behavior of matter and energy. In this paper we propose that aspects of quantum theory (e.g. quantum coherence) and of a newly proposed physical phenomenon of quantum wave function "self-collapse"(objective reduction: OR -Penrose, 1994) are essential for consciousness, and occur in cytoskeletal microtubules and other structures within each of the brain's neurons. The particular characteristics of microtubules suitable for quantum (...) effects include their crystal-like lattice structure, hollow inner core, organization of cell function and capacity for information processing. We envisage that conformational states of microtubule subunits (tubulins) are coupled to internal quantum events, and cooperatively interact (compute) with other tubulins. We further assume that macroscopic coherent superposition of quantum-coupled tubulin conformational states occurs throughout significant brain volumes and provides the global binding essential to consciousness. We equate the emergence of the microtubule quantum coherence with pre-conscious processing which grows (for up to 500 milliseconds) until the mass-energy difference among the separated states of tubulins reaches a threshold related to quantum gravity. According to the arguments for OR put forth in Penrose (1994), superpositioned states each have their own space-time geometries. When the degree of coherent mass-energy difference leads to sufficient separation of space-time geometry, the system must choose and decay (reduce, collapse) to a single universe state. In this way, a transient superposition of slightly differing space-time geometries persists until an abrupt quantum classical reduction occurs. Unlike the random, "subjective reduction"( SR, or R) of standard quantum theory caused by observation or environmental entanglement, the OR we propose in microtubules is a self-collapse and it results in particular patterns of microtubule-tubulin conformational states that regulate neuronal activities including synaptic functions. (shrink)

By quoting extensively from unpublished letters written by John von Neumann to Garret Birkhoff during the preparatory phase (in 1935) of their ground-breaking 1936 paper that established quantum logic, the main steps in the thought process leading to the 1936 Birkhoff–von Neumann paper are reconstructed. The reconstruction makes it clear why Birkhoff and von Neumann rejected the notion of quantum logic as the projection lattice of an infinite dimensional complex Hilbert space and why they postulated in their 1936 paper (...) that the quantum propositional system should be isomorphic to an abstract projective geometry. Looking at the paper now I see, that I forgot to say this, which should be said somewhere in the first §: That while common logics did apply to quantum mechanics, if the notion of simultaneous measurability is introduced as an auxiliary notion, we wished to construct a logical system, which applies directly to quantum mechanics – without any extraneous secondary notions like simultaneous measurability. And in order to have such a consequent, one-piece system of logics, we must change the classical class calculus of logics. (J. von Neumann to G. Birkhoff, November 21, 1935). (shrink)

The Löwenheim-Skolem theorem was published in Skolem's long paper of 1920, with the first section dedicated to the theorem. The second section of the paper contains a proof-theoretical analysis of derivations in lattice theory. The main result, otherwise believed to have been established in the late 1980s, was a polynomial-time decision algorithm for these derivations. Skolem did not develop any notation for the representation of derivations, which makes the proofs of his results hard to follow. Such a formal notation (...) is given here by which these proofs become transparent. A third section of Skolem's paper gives an analysis for derivations in plane projective geometry. To clear a gap in Skolem's result, a new conservativity property is shown for projective geometry, to the effect that a proper use of the axiom that gives the uniqueness of connecting lines and intersection points requires a conclusion with proper cases (logically, a disjunction in a positive part) to be proved. The forgotten parts of Skolem's first paper on the Löwenheim-Skolem theorem are the perhaps earliest combinatorial analyses of formal mathematical proofs, and at least the earliest analyses with profound results. (shrink)

In the present work we explore the effects that an H impurity produces upon the geometry and electronic structure of the CaTiO 3 crystal considering the cubic and orthorhombic crystallographic lattices of the material. A quantum-chemical method based on the Hartree-Fock formalism and the periodic large-unit-cell model is used throughout the work. The analysis of the results shows that the interstitial H impurity binds to one of the O atoms forming the so-called O-H group. At equilibrium, the O-H distances are (...) found to be equal to 0.89 and 1.04 Å for cubic and orthorhombic lattices respectively. Atomic displacements and relaxation energies are analysed comparing the obtained results in the cubic lattice with those in the orthorhombic lattice. In the cubic phase the computed relaxation energy of vicinity of the O-H group is found to be equal to 1.1 eV and the atomic displacements generally obey the Coulomb law. So, the negatively charged O atoms move outwards from the defective region by about 0.09 Å while the positively charged Ti and Ca atoms move towards the defective region by about 0.05 and 0.01 Å respectively. A similar effect is observed in the orthorhombic lattice of CaTiO 3 doped with an H atom. It is necessary to mention that different O positions in the orthorhombic structure are considered for the O-H bond creation. The computed relaxation energies of the atomic displacements in this structure are found to be equal to 2.3 and 2.1 eV depending on the crystallographic type of the bonding O atom. (shrink)

There are strong indications that ancient Egyptian mythology contains knowledge of the nature of space up to higher dimensions and provides ontologic answers to the question about the creation of matter. This article examines the pentagonal interpretation of the myth of Isis and Osiris by comparing the iconographic details with recent findings from the art research project Quantum Cinema, where an interdisciplinary group of digital artists and scientists established a virtual space model for visualizing the usually non-perceivable processes in the (...) microcosm on a Planck scale. At this scale, quantum mechanics applied to space itself leads to a discrete amount of quantum states. For this research, a new geometrical tool proved invaluable: the epitahedron. The double heptahedron named epitahedron (E±), a 3D Penrose kites and darts representation, confines the dodecahedron in many ways and seems to be Plato’s fifth element. It is a 5D space cell, decorated with fragments of circles, which allows to visualize the permutations of symmetry elements within a discrete lattice (Z5). This higher-dimensional configuration is also the appropriate space to create a quantum-mechanical depiction of particles with inherent wave-like character by means of 3D animated geometry. Disguised in a mythological language the same subscendent space structure with the same golden polytope (E±) can be revealed: is this the origin of the concept of aether, the quintessence model which was a basic scientific task for the last 2500 years? (shrink)

Some arguments, based on the possible spontaneous violation of the cosmological principle (represented by the observed large-scale structures of galaxies), on the Cartan geometry of simple spinors, and on the Fock formulation of hydrogen atom wave equation in momentum space, are presented in favor of the hypothesis that space-time and momentum space should be both conformally compactified and should both originate from the two four-dimensional homogeneous spaces of the conformai group, both isomorphic (S 3 ×S 1)/Z 2 and correlated by (...) conformal inversion, but should not necessarily be identified with them. Within this framework, the possible common origin for the SO(4) symmetry underlying the geometrical structure of the Universe, of Kepler orbits, and of the H atom is discussed. One of the consequences of the proposed hypothesis could be that any quantum field theory should be naturally free from both infrared and ultraviolet divergences. But then physical spaces defined as those where physical phenomena may be best described through some set of fields, could be different from those homogeneous spaces. A simple, exactly soluble, toy model, valid for a two-dimensional spacetime, is presented where the conjectured conformally compactified homogeneous spaces are both isomorphic to (S 1 ×S 1)/Z 2,while the possible physical spaces could be two finite lattices which are dual since Fourier transforms, represented by finite, discrete, sums, may be well defined on them. (shrink)

In this paper the principle that the boundary of a boundary is identically zero (∂○∂≡0) is applied to a skeleton geometry. It is shown that the left-hand side of the Regge equation may be interpreted geometrically as the sum of the moments of rotation associated with the faces of a polyhedral domain. Here the polyhedron, warped though it may be, is located in a lattice dual to the original skeleton manifold. This sum is related to the amount of energy-momentum (...) (E-p) associated to the edge in question. In the establishment of this equation the ordinary Bianchi identity is rederived by applying the principle that the (∂○∂≡0) in its (1–2–3)-dimensional formulation to polyhedral domain. Steps toward the derivation of the contracted Bianchi identity using this principle in its (2–3–4)-dimensional form are discussed. Preliminary results in this direction indicate that there should be one vector identity per vertex of the skeleton geometry. “Space acts on matter, telling it how to move. In turn, matter reacts back on space, telling it how to curve.”—Ref. 3, Chap. 1. (shrink)

The fundamental axioms of the quantum theory do not explicitly identify the algebraic structure of the linear space for which orthogonal subspaces correspond to the propositions (equivalence classes of physical questions). The projective geometry of the weakly modular orthocomplemented lattice of propositions may be imbedded in a complex Hilbert space; this is the structure which has traditionally been used. This paper reviews some work which has been devoted to generalizing the target space of this imbedding to Hilbert modules of (...) a more general type. In particular, detailed discussion is given of the simplest generalization of the complex Hilbert space, that of the quaternion Hilbert module. (shrink)

Given a quantum system with a very large number of degrees of freedom and a preferred tensor product factorization of the Hilbert space we describe how it can be approximated with a very low-dimensional field theory with geometric degrees of freedom. The geometric approximation procedure consists of three steps. The first step is to construct weighted graphs with vertices representing subsystems and edges representing mutual information between subsystems. The second step is to deform the adjacency matrices of the information graphs (...) to that of a low-dimensional lattice using the graph flow equations introduced in the paper. The third step is to define an emergent metric and to derive an effective description of the metric and possibly other degrees of freedom. To illustrate the procedure we analyze two information graph flows with geometric attractors and metric perturbations obeying a geometric flow equation. Our analysis also suggests a possible approach to quantum gravity in which the geometry emerges directly from a quantum state due to the flow of the information graphs. (shrink)

The self-avoiding walk is a classical model in statistical mechanics, probability theory and mathematical physics. It is also a simple model of polymer entropy which is useful in modelling phase behaviour in polymers. This monograph provides an authoritative examination of interacting self-avoiding walks, presenting aspects of the thermodynamic limit, phase behaviour, scaling and critical exponents for lattice polygons, lattice animals and surfaces. It also includes a comprehensive account of constructive methods in models of adsorbing, collapsing, and pulled walks, (...) animals and networks, and for models of walks in confined geometries. Additional topics include scaling, knotting in lattice polygons, generating function methods for directed models of walks and polygons, and an introduction to the Edwards model.This essential second edition includes recent breakthroughs in the field, as well as maintaining the older but still relevant topics. New chapters include an expanded presentation of directed models, an exploration of methods and results for the hexagonal lattice, and a chapter devoted to the Monte Carlo methods. (shrink)

Features of consciousness difficult to understand in terms of conventional neuroscience have evoked application of quantum theory, which describes the fundamental behavior of matter and energy. In this paper we propose that aspects of quantum theory (e.g. quantum coherence) and of a newly proposed physical phenomenon of quantum wave function "self-collapse"(objective reduction: OR -Penrose, 1994) are essential for consciousness, and occur in cytoskeletal microtubules and other structures within each of the brain's neurons. The particular characteristics of microtubules suitable for quantum (...) effects include their crystal-like lattice structure, hollow inner core, organization of cell function and capacity for information processing. We envisage that conformational states of microtubule subunits (tubulins) are coupled to internal quantum events, and cooperatively interact (compute) with other tubulins. We further assume that macroscopic coherent superposition of quantum-coupled tubulin conformational states occurs throughout significant brain volumes and provides the global binding essential to consciousness. We equate the emergence of the microtubule quantum coherence with pre-conscious processing which grows (for up to 500 milliseconds) until the mass-energy difference among the separated states of tubulins reaches a threshold related to quantum gravity. According to the arguments for OR put forth in Penrose (1994), superpositioned states each have their own space-time geometries. When the degree of coherent massenergy difference leads to sufficient separation of space-time geometry, the system must choose and decay (reduce, collapse) to a single universe state. In this way, a transient superposition of slightly differing space-time geometries persists until an abrupt quantum classical reduction occurs. Unlike the random, "subjective reduction"(SR, or R) of standard quantum theory caused by observation or environmental entanglement, the OR we propose in microtubules is a self-collapse and it results in particular patterns of microtubule-tubulin conformational states that regulate neuronal activities including synaptic functions. Possibilities and probabilities for post-reduction tubulin states are influenced by factors including attachments of microtubule-associated proteins (MAPs) acting as "nodes"which tune and "orchestrate"the quantum oscillations.. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Philosophy of PhysicsMartin CurdRoberto Torretti. The Philosophy of Physics. Cambridge: Cambridge University Press, 1999. Pp. xvi + 512. Cloth, $64.95. Paper, $23.95.This is the first volume in a new Cambridge series, "The Evolution of Modern Philosophy." It is a historical work, tracing the interaction between physics and philosophy from the scientific revolution of the seventeenth century through general relativity and quantum mechanics in the twentieth century. The (...) emphasis is on the philosophy in physics (rather than philosophizing about physics) and, with the exceptions noted below, the focus is on scientists (scientist-philosophers in many cases) rather than philosophers outside of science. Most of the book is about the conceptual and mathematical development of the core branches of physics (mainly mechanics, but also geometry, thermodynamics, and field theory). There are seven chapters plus three supplements giving the mathematical essentials of vector analysis, lattice theory, and topology.The hero of chapter one is Galileo who, more than anyone else prior to Newton, set physics on its modern path towards mathematization and away from Aristotle. Also discussed in chapter one are Descartes, Huyghens, and Leibniz. Chapter two is devoted to Newton (both the foundations of Newtonian mechanics and the derivation of the law of universal gravitation) and follows the development of analytical mechanics up to Lagrange and Hamilton. Chapter three, appropriately entitled "Kant," is the only chapter devoted to a philosopher. After a brief discussion of Leibniz, Berkeley, and Kant's pre-critical writings, it covers the important scientific topics in the Critique of Pure Reason (space, time, the three Analogies) but avoids the Metaphysical Foundations of Natural Science (referring the reader to Michael Friedman's Kant and the Exact Sciences). Chapter four looks at scientific developments in three areas that proved to be important for twentieth-century physics: non-Euclidean geometry from Lobachevsky to Riemann, electromagnetic field theory (Maxwell), and thermal physics (classical thermodynamics, the kinetic theory, and statistical mechanics) from Carnot to Boltzmann. The chapter concludes, somewhat untidily, with a section on four philosophers of science (Whewell, Peirce, Mach, and Duhem), selected, we are told, because of their influence on philosophy of science in the second half of the twentieth century. (For the "two great philosopher-scientists" Helmholtz and Poincaré, the reader is referred to Torretti's earlier books, Philosophy of Geometry from Riemann to Poincaré, and Relativity and Geometry.) Chapter five covers both the special and general theory of relativity. After a masterful exposition of the special theory and its Minkowski spacetime representation, the usual topics of philosophical interest are discussed; these include the conventionality of simultaneity thesis, the twin paradox, the relativistic concept of mass, and determinism. The rather brief treatment of the general theory is, unavoidably, mathematically demanding and carries the subject through to recent inflationary cosmological models. Chapter six (also mathematically demanding at times) examines the development and structure of quantum mechanics, aptly praised as "one of the most elegant creations of the human spirit" (340). Torretti wisely ignores the complexities of quantum field theory since the philosophical problems discussed—measurement, the EPR paradox, the interpretation of the y-function—remain when quantum mechanics is made Lorentz invariant; but he urges philosophers of science to follow the lead of Michael Redhead and [End Page 602] Paul Teller in exploring its metaphysical ramifications. Of special note are the author's trenchant criticisms of attempts to solve the quantum mysteries by Bohr (complementarity), Bohm (hidden variables), Putnam (quantum logic), and Everett (the many worlds interpretation). The book concludes with the author's reflections on issues in the philosophy of science. Torretti defends the structuralist explication of physical theories (more familiarly known as the semantic conception or the model-theoretic view) that informs much of his book, arguing that it succeeds where the "received view" of logical empiricism failed while avoiding Kuhnian incommensurability—"a pseudoproblem that made philosophy of science the laughing stock of practicing physicists" (404). The chapter ends with an attack on inductive logic: "one of the blindest alleys in twentieth-century philosophy" (437).The writing is admirably clear and the author has done a commendable job of explaining the arguments of historical scientists while presenting their theories in a clear... (shrink)

This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that is (...) of commercial value in social science. Classroom experience has led to numerous pedagogical improvements and many new exercises have been added. As before, exposure to elementary abstract algebra and the notation of set theory are the only prerequisites, making the book suitable for advanced undergraduates and beginning graduate students. It will also be a valuable resource for anyone who meets ordered structures. (shrink)

We give a characterization of the fixed points and of the lattices of fixed points of fuzzy Galois connections. It is shown that fixed points are naturally interpreted as concepts in the sense of traditional logic.

Die Geometrie ist seit Euklids Elementen nicht nur Vorbild fur Theorieform und Wissenschaftlichkeit. Sie hat auch seit der Antike die erkenntnistheoretische Diskussion uber das Verhaltnis von Wirklichkeit und Erkenntnis beeinflusst. In ihrer formalaxiomatischen Auffassung der physikalischen Geometrie durch A. Einstein wird die Wissenschaftstheorie des 20. Jahrhunderts in ihren Mehrheitspositionen auf einen Logischen Empirismus festgelegt. Vollstandig ausgeklammert bleibt dabei das philosophische Problem der Gegenstandskonstitution. Wovon ist Geometrie eine Wissenschaft, und wodurch erhalt sie ihre Passung auf die Anwendungen in Handwerk, Technik und (...) messender Naturwissenschaft? (shrink)

This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

We study the lattice of extensions of four-valued Belnap–Dunn logic, called super-Belnap logics by analogy with superintuitionistic logics. We describe the global structure of this lattice by splitting it into several subintervals, and prove some new completeness theorems for super-Belnap logics. The crucial technical tool for this purpose will be the so-called antiaxiomatic (or explosive) part operator. The antiaxiomatic (or explosive) extensions of Belnap–Dunn logic turn out to be of particular interest owing to their connection to graph theory: (...) the lattice of finitary antiaxiomatic extensions of Belnap–Dunn logic is isomorphic to the lattice of upsets in the homomorphism order on finite graphs (with loops allowed). In particular, there is a continuum of finitary super-Belnap logics. Moreover, a non-finitary super-Belnap logic can be constructed with the help of this isomorphism. As algebraic corollaries we obtain the existence of a continuum of antivarieties of De Morgan algebras and the existence of a prevariety of De Morgan algebras which is not a quasivariety. (shrink)

Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK -lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK -lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK . Finally, we describe invariants determining a twist-structure (...) over a modal algebra. (shrink)

Lattice logic, bilattice logic, and paraconsistent quantum logic are investigated based on monosequent systems. Paraconsistent quantum logic is an extension of lattice logic, and bilattice logic is an extension of paraconsistent quantum logic. Monosequent system is a sequent calculus based on the restricted sequent that contains exactly one formula in both the antecedent and succedent. It is known that a completeness theorem with respect to a lattice-valued semantics holds for a monosequent system for lattice logic. A (...) completeness theorem with respect to a lattice-valued semantics is proved for paraconsistent quantum logic, and a completeness theorem with respect to a bilattice-valued semantics is proved for bilattice logic. Some syntactical properties, including cut-elimination and duality, are also investigated for the monosequent systems for these logics. (shrink)

A latarre is a lattice with an arrow. Its axiomatization looks natural. Latarres have a nontrivial theory which permits many constructions of latarres. Latarres appear as an end result of a series of generalizations of better known structures. These include Boolean algebras and Heyting algebras. Latarres need not have a distributive lattice.

In this paper a solution of Whitehead’s problem is presented: Starting with a purely mereological system of regions a topological space is constructed such that the class of regions is isomorphic to the Boolean lattice of regular open sets of that space. This construction may be considered as a generalized completion in analogy to the well-known Dedekind completion of the rational numbers yielding the real numbers . The argument of the paper relies on the theories of continuous lattices and (...) “pointless” topology.

. (shrink)

In this note we introduce and study algebras of type such that is a bounded distributive lattice and ⌝ is an operator that satisfies the condition ⌝ = a ⌝ b and ⌝ 0 = 1. We develop the topological duality between these algebras and Priestley spaces with a relation. In addition, we characterize the congruences and the subalgebras of such an algebra. As an application, we will determine the Priestley spaces of quasi-Stone algebras.

Does geometry constitues a core set of intuitions present in all humans, regarless of their language or schooling ? We used two non verbal tests to probe the conceptual primitives of geometry in the Munduruku, an isolated Amazonian indigene group. Our results provide evidence for geometrical intuitions in the absence of schooling, experience with graphic symbols or maps, or a rich language of geometrical terms.

The lattices of the title generalize the concept of a De Morgan lattice. A representation in terms of ordered topological spaces is described. This topological duality is applied to describe homomorphisms, congruences, and subdirectly irreducible and free lattices in the category. In addition, certain equational subclasses are described in detail.

Chapter 1: Introduction. S = <{We}c<w; C,U,n,0,w> is the substructure formed by restricting the lattice <^P(w); C , U, n,0,w> to the re subsets We of the ...

Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. This involves finding “uniform” constructions where normally a case distinction is used. For example, in finding a perpendicular to line L through point p, one usually uses two different constructions, “erecting” a perpendicular when p is on L, and “dropping” a perpendicular when p is not on L, but in (...) constructive geometry, it must be done without a case distinction. Classically, the models of Euclidean geometry are planes over Euclidean fields. We prove a similar theorem for constructive Euclidean geometry, by showing how to define addition and multiplication without a case distinction about the sign of the arguments. With intuitionistic logic, there are two possible definitions of Euclidean fields, which turn out to correspond to different versions of the parallel postulate.We consider three versions of Euclid’s parallel postulate. The two most important are Euclid’s own formulation in his Postulate 5, which says that under certain conditions two lines meet, and Playfair’s axiom, which says there cannot be two distinct parallels to line L through the same point p. These differ in that Euclid 5 makes an existence assertion, while Playfair’s axiom does not. The third variant, which we call the strong parallel postulate, isolates the existence assertion from the geometry: it amounts to Playfair’s axiom plus the principle that two distinct lines that are not parallel do intersect. The first main result of this paper is that Euclid 5 suffices to define coordinates, addition, multiplication, and square roots geometrically.We completely settle the questions about implications between the three versions of the parallel postulate. The strong parallel postulate easily implies Euclid 5, and Euclid 5 also implies the strong parallel postulate, as a corollary of coordinatization and definability of arithmetic. We show that Playfair does not imply Euclid 5, and we also give some other independence results. Our independence proofs are given without discussing the exact choice of the other axioms of geometry; all we need is that one can interpret the geometric axioms in Euclidean field theory. The independence proofs use Kripke models of Euclidean field theories based on carefully constructed rings of real-valued functions. “Field elements” in these models are real-valued functions. (shrink)

Modal logics are studied in their algebraic disguise of varieties of so-called modal algebras. This enables us to apply strong results of a universal algebraic nature, notably those obtained by B. Jonsson. It is shown that the degree of incompleteness with respect to Kripke semantics of any modal logic containing the axiom □ p → p or containing an axiom of the form $\square^mp \leftrightarrow\square^{m + 1}p$ for some natural number m is 2 ℵ 0 . Furthermore, we show that (...) there exists an immediate predecessor of classical logic (axiomatized by $p \leftrightarrow \square p$ ) which is not characterized by any finite algebra. The existence of modal logics having 2 ℵ 0 immediate predecessors is established. In contrast with these results we prove that the lattice of extensions of S4 behaves much better: a logic extending S4 is characterized by a finite algebra iff it has finitely many extensions and any such logic has only finitely many immediate predecessors, all of which are characterized by a finite algebra. (shrink)

In the article, an argument is given that Euclidean geometry is a priori in the same way that numbers are a priori, the result of modelling, not the world, but our activities in the world.

The purported fact that geometric theories formulated in terms of points and geometric theories formulated in terms of lines are “equally correct” is often invoked in arguments for conceptual relativity, in particular by Putnam and Goodman. We discuss a few notions of equivalence between first-order theories, and we then demonstrate a precise sense in which this purported fact is true. We argue, however, that this fact does not undermine metaphysical realism.

In lattice theory the two well known equational class of lattices are the distributive lattices and the modular lattices. All distributive lattices are modular however a modular lattice in general is not distributive. In this book, new classes of lattices called supermodular lattices and semi-supermodular lattices are introduced and characterized.

A finitely alternative normal tense logic \ is a normal tense logic characterized by frames in which every point has at most n future alternatives and m past alternatives. The structure of the lattice \\) is described. There are \ logics in \\) without the finite model property, and only one pretabular logic in \\). There are \ logics in \\) which are not finitely axiomatizable. For \, there are \ logics in \\) without the FMP, and infinitely many (...) pretabular extensions of \. (shrink)