Wieslaw Pawlowski  Home/Search
Context
Related
| ipipan.gda.pl/wiesiek/pa...wadt2002.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ipipan.gda.pl/~wiesiek/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper discuss the problem of representing and combining inference systems for (abstract) context institutions, within the framework of context presentations [9]. As it turns out, thanks to the context information present in this setting, the inference rules for quantifier logics can be expressed and manipulated in a simple way, without referring to binding operators or requirements (cf. [11]). (Update)
Active bibliography (related documents): More All
0.5: The UniForM Workbench, a Universal Development Environment.. - Krieg-Brückner, al. (1999) (Correct)
0.3: Completeness Results for Fibred Parchments Beyond the.. - Caleiro, Gouveia, Ramos (2003) (Correct)
0.3: Cryptomorphisms at Work - Caleiro, Ramos (Correct)
Similar documents based on text: More All
0.8: Context Parchments - Pawlowski (Correct)
0.7: Presenting Context Institutions: Context Parchments - Pawlowski (Correct)
0.6: Context Institutions - Pawlowski (1996) (Correct)
BibTeX entry: (Update)
@misc{ pawlowski-presenting,
author = "Wieslaw Pawlowski",
title = "Presenting and Combining Inference Systems - presentations with inference
rules",
url = "citeseer.ist.psu.edu/563324.html" }
Citations (may not include all citations):234 Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
41 Fibring of logics as a categorial construction - Sernadas, Sernadas et al. - 1999
28 volume 50 of Encyclopedia of Mathematics and its Application.. (context) - Borceux, Categorical et al. - 1994
26 A study in the foundations of programming methodology: Speci.. (context) - Goguen, Burstall - 1986
23 Theoretical Computer Science (context) - Stoughton - 1988
22 Bits and pieces of the theory of institutions (context) - Tarlecki - 1986
14 Combining and representing logical systems using model-theor.. - Mossakowski, Tarlecki et al. - 1998
13 Combining and representing logical systems - Mossakowski, Tarlecki et al. - 1997
6 Combining logics: Parchments revisited - Caleiro, Mateus et al. - 2001
3 Categorical fibring of logics with terms and binding operato.. (context) - Sernadas, Sernadas et al. - 2000
1 Contextual Logical Systems for the Foundations of Software S.. (context) - Paw - 2000
1 Presentations for abstract context institutions (context) - Paw - 2001
Documents on the same site (http://www.ipipan.gda.pl/~wiesiek/papers.html): More
Generalized Congruences - Bednarczyk, Borzyszkowski, Pawlowski (Correct)
Combining and Representing Logical Systems - Mossakowski, Tarlecki, Pawlowski (1997) (Correct)
Recursive Definitions Revisited - Bednarczyk, Borzyszkowski, Pawlowski (1990) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC