Springer (2006)
| Authors |
|
| Abstract |
International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers Harrie de Swart. Dual residua of a lattice join were ... The dual residua of well— known t-conorms Definition 2. ([28], [29]) A double residuated lattice ...
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Buy this book |
Find it on Amazon.com
|
| ISBN(s) | 3540692231 9783540692232 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,199
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
Chapters BETA
Investigating Finite Models of Non-Classical Logics with Relation Algebra and RELVIEW.Rudolf Berghammer & Renate A. Schmidt
Flexible Query Answering Using Distance-Based Fuzzy Relations.Ulrich Bodenhofer, Josef Küng & Susanne Saminger
Relational Approach to Order-of-Magnitude Reasoning.Alfredo Burrieza, Manuel Ojeda-Aciego & Ewa Orłowska
A Decision Procedure for Monotone Functions Over Bounded and Complete Lattices.Domenico Cantone & Calogero G. Zarba
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
Some Aspects of Lattice and Generalized Prelattice Effect Algebras.Zdenka Riečanová, Ivica Marinová & Michal Zajac
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
Relational Dual Tableaux for Interval Temporal Logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Priestley Duality for Some Subalgebra Lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
A Simplified Duality for Implicative Lattices and L-Groups.Nestor G. Martinez - 1996 - Studia Logica 56 (1-2):185 - 204.
Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Uk, June 19-23, 2005: Proceedings. [REVIEW]Fahiem Bacchus & Toby Walsh (eds.) - 2005 - Springer.
On the Mereological Structure of Complex States of Affairs.Thomas Mormann - 2012 - Synthese 187 (2):403-418.
Relational Thinking: A Critique of Co-Deterministic Theories of Structure and Agency.François Dépelteau - 2008 - Sociological Theory 26 (1):51 - 73.
Kolmogorov Complexity and Symmetric Relational Structures.W. L. Fouché & P. H. Potgieter - 1998 - Journal of Symbolic Logic 63 (3):1083-1094.
Measurement in Economics.Marcel Boumans - 2012 - In Uskali Mäki, Dov M. Gabbay, Paul Thagard & John Woods (eds.), Philosophy of Economics. North Holland. pp. 395.
Analogical Cognition: Applications in Epistemology and the Philosophy of Mind and Language.Theodore Bach - 2012 - Philosophy Compass 7 (5):348-360.
Analytics
Added to PP index
2013-02-17
Total views
6 ( #1,137,139 of 2,518,149 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,149 )
2013-02-17
Total views
6 ( #1,137,139 of 2,518,149 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,149 )
How can I increase my downloads?
Downloads
