Beata Konikowska  Home/Search
Context
Related
| mimuw.edu.pl/~tarlecki/kbn9...BKi98.ps 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: mimuw.edu.pl/~tarlecki/k...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction In [2], we presented two deductions systems for many-sorted first-order logic allowing empty carriers of some sorts based on the use of context formulae. Here we shall present a somewhat different approach: instead of equipping each individual formula with a context, we shall consider normal contextless formulae (so pre-formulae in the sense of [2]) with a natural partial semantics generalizing in a way that defined in [2], but the deduction system will use context sequents; so... (Update)
Active bibliography (related documents): More All
0.2: Rasiowa-Sikorski Deduction Systems: a Handy Tool for Computer.. - Konikowska (1998) (Correct)
0.2: Rasiowa-Sikorski Deduction Systems - Foundations and Applications - Konikowska (2000) (Correct)
0.1: Concept Logics with Function Symbols - Bürckert, Hollunder, Laux (1994) (Correct)
Similar documents based on text: More All
0.1: Normal Gentzen Deductions in the Classical Case - Palmigiano (1999) (Correct)
0.1: Marginalia on Sequent Calculi - Troelstra (1998) (Correct)
0.1: Review of Heinrich Wansing, Displaying Modal Logic, Kluwer.. - Restall (Correct)
BibTeX entry: (Update)
@misc{ konikowska-gentzen,
author = "Beata Konikowska",
title = "A Gentzen calculus system for a contextual consequence relation in many-sorted
first order logic",
url = "citeseer.ist.psu.edu/90538.html" }
Citations (may not include all citations):14 Polish Scientific Publishers (context) - Rasiowa, Sikorski - 1963
10 A resolution calculus with dynamic sort structures and parti.. (context) - Wiedenbach, Ohlbach - 1990
6 A many sorted logic with possibly empty sorts (context) - Cohn - 1992
1 A Getzen sequent calculus for many-sorted first-order logic (context) - Konikowska
Documents on the same site (http://wwwat.mimuw.edu.pl/~tarlecki/kbn96grant/papers.html): More
Limits and Colimits in Some Categories of Institutions - Tarlecki (1997) (Correct)
Rasiowa-Sikorski Deduction Systems: a Handy Tool for Computer.. - Konikowska (1998) (Correct)
Towards Heterogeneous Specifications - Andrzej Tarlecki (1998) (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