dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Clint J. van Alten (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. S. Olson, James G. Raftery, Clint J. van Alten: Structural Completeness in Substructural Logics. Logic Journal of the IGPL 16(5): 453-495 (2008)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames G. Raftery, Clint J. van Alten: Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. Reports on Mathematical Logic 39: 133-135 (2005)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClint J. van Alten, James G. Raftery: Rule Separation and Embedding Theorems for Logics Without Weakening. Studia Logica 76(2): 241-274 (2004)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames G. Raftery, Clint J. van Alten: Residuation in Commutative Ordered Monoids with Minimal Zero. Reports on Mathematical Logic 34: 23-57 (2000)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClint J. van Alten, James G. Raftery: The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63(2): 213-222 (1999)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClint J. van Alten, James G. Raftery: On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules. Reports on Mathematical Logic 31: 3-55 (1997)

Selection of 6 from 11 records - Clint J. van Alten has 5 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page