Person:1153137

Available identifiers

zbMath Open de-swart.harrie-c-mMaRDI QIDQ1153137

List of research outcomes

Publication	Date of Publication	Type
Set Matrix Theory as a Physically Motivated Generalization of Zermelo-Fraenkel Set Theory	2015-02-24	Paper
Spatial voting games, relation algebra and RelView	2014-09-08	Paper
Computing tournament solutions using relation algebra and RelView	2014-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q2889302	2012-06-06	Paper
Computations on Simple Games Using RelView	2011-09-02	Paper
Social Networks: Prestige, Centrality, and Influence	2011-06-17	Paper
A relation-algebraic approach to simple games	2011-03-22	Paper
Characteristic properties of FPTP systems	2010-03-15	Paper
Computational Social Choice Using Relation Algebra and RelView	2009-12-11	Paper
Applying relation algebra and RelView to measures in a social network	2009-11-17	Paper
Theory and Applications of Relational Structures as Knowledge Instruments	2009-06-09	Paper
Social Software for Coalition Formation	2009-01-20	Paper
Generalizing and Modifying the Hoede-Bakker Index	2009-01-20	Paper
An interdisciplinary approach to coalition formation	2009-01-08	Paper
A consensus model of political decision-making	2008-05-27	Paper
On Some Properties of the Hoede-Bakker Index	2008-01-18	Paper
Applying relational algebra and REL VIEW to coalition formation	2007-01-22	Paper
Characteristic properties of list proportional representation systems	2007-01-05	Paper
Consensus reaching in committees	2006-12-14	Paper
Using MACBETH to determine utilities of governments to parties in coalition formation	2006-04-28	Paper
A new model of coalition formation	2006-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3021910	2005-06-21	Paper
Three types of redundancy in integrity checking: An optimal solution	2002-07-29	Paper
Implication with possible exceptions	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2735845	2001-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4250058	2000-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4888315	1997-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4867028	1996-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4301238	1994-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4296948	1994-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4278024	1994-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q3142015	1993-12-06	Paper
Towards an axiomatization of orderings	1993-10-17	Paper
Spreads or choice sequences?	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4730752	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3829087	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3762280	1985-01-01	Paper
A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS	1983-01-01	Paper
Validity and quantification in intuitionism	1981-01-01	Paper
The continuum hypothesis in intuitionism	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3901494	1980-01-01	Paper
An intuitionistically plausible interpretation of intuitionistic logic	1978-01-01	Paper
First steps in intuitionistic model theory	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4193455	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4091903	1976-01-01	Paper
Another intuitionistic completeness proof	1976-01-01	Paper
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces	1976-01-01	Paper
Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128571	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: H. C. M. De Swart