Investigating finite models of non-classical logics with relation algebra and RELVIEW

&
In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 31--49 (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,932

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

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: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 89--104.
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: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 355--371.
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: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 105--124.
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.
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: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 290--317.
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: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 207--228.
A decision procedure for monotone functions over bounded and complete lattices.Domenico Cantone & Calogero G. Zarba - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 318--333.
Relational logics and their applications.Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 125--161.
Relational logics and their applications.Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 125--161.
Conceptual Structures: Theory, Tools and Applications: 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings.Marie-Laure Mugnier & Michel Chein - 1998 - Springer.

Analytics

Added to PP
2014-02-01

Downloads
22 (#699,274)

6 months
4 (#1,005,098)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references