Multi-posets in algebraic logic, group theory, and non-commutative topology

Annals of Pure and Applied Logic 167 (11):1139-1160 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.05.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Non-commutative logic I: the multiplicative fragment.P. Ruet & M. Abrusci - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
Decidability of the theory of modules over commutative valuation domains.Gennadi Puninski, Vera Puninskaya & Carlo Toffalori - 2007 - Annals of Pure and Applied Logic 145 (3):258-275.
Non-commutative logic I: the multiplicative fragment.V. Michele Abrusci & Paul Ruet - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
No finite axiomatizations for posets embeddable into distributive lattices.Rob Egrot - 2018 - Annals of Pure and Applied Logic 169 (3):235-242.
Posets of copies of countable ultrahomogeneous tournaments.Miloš S. Kurilić & Stevo Todorčević - 2024 - Annals of Pure and Applied Logic 175 (10):103486.
Characterizing large cardinals in terms of layered posets.Sean Cox & Philipp Lücke - 2017 - Annals of Pure and Applied Logic 168 (5):1112-1131.
Algebraic proof theory: Hypersequents and hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.
Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.
On the decidability of the theory of modules over the ring of algebraic integers.Sonia L'Innocente, Carlo Toffalori & Gena Puninski - 2017 - Annals of Pure and Applied Logic 168 (8):1507-1516.
Algebraic proof theory for substructural logics: cut-elimination and completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.

Analytics

Added to PP
2016-06-30

Downloads
29 (#771,372)

6 months
5 (#1,035,390)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Few Notes on Quantum B-algebras.Shengwei Han & Xiaoting Xu - 2021 - Studia Logica 109 (6):1423-1440.

Add more citations

References found in this work

Effect algebras and unsharp quantum logics.D. J. Foulis & M. K. Bennett - 1994 - Foundations of Physics 24 (10):1331-1352.
Non-commutative logical algebras and algebraic quantales.Wolfgang Rump & Yi Chuan Yang - 2014 - Annals of Pure and Applied Logic 165 (2):759-785.
Effects, Observables, States, and Symmetries in Physics.David J. Foulis - 2007 - Foundations of Physics 37 (10):1421-1446.
On varieties of biresiduation algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.

Add more references