The galois connection between syntax and semantics

Abstract

Preface 1 Partially ordered sets 1.1 Posets introduced 1.2 Partial orders and strict orders 1.3 Maps between posets 1.4 Compounding maps 1.5 Order similarity 1.6 Inclusion posets as typical..

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Fuzzy Galois connections on fuzzy posets.Wei Yao & Ling-Xia Lu - 2009 - Mathematical Logic Quarterly 55 (1):105-112.
Algebraic Properties of Paraorthomodular Posets.Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda & Jan Paseka - 2022 - Logic Journal of the IGPL 30 (5):840-869.
Some notes on the universality of three-orders on finite labeled posets.Anton V. Zhukov - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 393-410.
Posets of copies of countable scattered linear orders.Miloš S. Kurilić - 2014 - Annals of Pure and Applied Logic 165 (3):895-912.
On Induction Principles for Partial Orders.Ievgen Ivanov - 2022 - Logica Universalis 16 (1):105-147.
Topics in the Foundations of General Relativity and Newtonian Gravitation Theory.David Malament - 2012 - Chicago: Chicago University Press.
Representation of posets.Yungchen Cheng & Paula Kemp - 1992 - Mathematical Logic Quarterly 38 (1):269-276.
Implication in Sharply Paraorthomodular and Relatively Paraorthomodular Posets.Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda & Jan Paseka - 2024 - In Jacek Malinowski & Rafał Palczewski (eds.), Janusz Czelakowski on Logical Consequence. Springer Verlag. pp. 419-446.
Pre-BZ and Degenerate BZ Posets: Applications to Fuzzy Sets and Unsharp Quantum Theories. [REVIEW]G. Cattaneo, R. Giuntini & S. Pulmannovà - 2000 - Foundations of Physics 30 (10):1765-1799.
Uncountable Homogeneous Partial Orders.Manfred Droste, Dugald Macpherson & Alan Mekler - 2002 - Mathematical Logic Quarterly 48 (4):525-532.

Analytics

Added to PP
2010-06-06

Downloads
82 (#209,750)

6 months
1 (#1,516,021)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Eldridge-Smith
Australian National University

Citations of this work

Negating as turning upside down.Bartłomiej Skowron & Wiesław Kubiś - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):115-129.

Add more citations

References found in this work

No references found.

Add more references