A decision procedure for monotone functions over bounded and complete lattices

&
In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 318--333 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Relational approach to order-of-magnitude reasoning.Alfredo Burrieza, Manuel Ojeda-Aciego & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 105--124.
Aggregation on bipolar scales.Michel Grabisch - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 355--371.
Some aspects of lattice and generalized prelattice effect algebras.Zdenka Riečanová, Ivica Marinová & Michal Zajac - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 290--317.
An environment for specifying properties of dyadic relations and reasoning about them II: relational presentation of non-classical logics.Andrea Formisano, Eugenio G. Omodeo & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 89--104.
Flexible query answering using distance-based fuzzy relations.Ulrich Bodenhofer, Josef Küng & Susanne Saminger - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 207--228.
Investigating finite models of non-classical logics with relation algebra and RELVIEW.Rudolf Berghammer & Renate A. Schmidt - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 31--49.
Relational Logics and Their Applications.Joanna Golińska-Pilarek & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 125.
Review: Domenico Cantone, Alfredo Ferro, Eugenio Omodeo, Computable Set Theory. [REVIEW]Lincoln A. Wallen - 1993 - Journal of Symbolic Logic 58 (1):361-362.
Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers.Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.) - 2006 - Springer.
The theory of all substructures of a structure: Characterisation and decision problems.Kenneth L. Manders - 1979 - Journal of Symbolic Logic 44 (4):583-598.

Analytics

Added to PP
2014-02-01

Downloads
28 (#589,033)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Domenico Cantone
University of Catania

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references