There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss — or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning...

My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of institutions. At the same time, it uses ideas from information flow to extend the theory of institutions. ICCS 2009, 26–31 July 2009 System Consequence Table of

Introduction Whenever one asserts a claim of any kind, one engages in a commitment not just to that claim itself, but to a variety of other claims that follow in its wake, claims that, as we tend to say, follow logically from the original claim. To say that Smith and Jones are both great basketball players is to say something from which it follows that Smith is a great basketball player, that s...

The aim of this note is rst to set up some general theory for discussing diierent aspects of the notion of a logic and then to draw attention to the schematic aspects of logic and suggest a way of capturing this aspect without making any commitment to the kind of syntax a logic should have.

The proof of correctness and completeness of a logical calculus w.r.t. a given semantics can be read as telling us that the tautologies (or, more generally, the relation of consequence) specified in a model-theoretic way can be equally well specified in a proof-theoretic way, by means of the calculus (as the theorems, resp. the relation of inferability of the calculus). Thus we know that both f...

the aim of this research is to develop a model of antecedents and consequences of iran exemplary exporters’ competitive intelligence (ci) in order to identify their strengths and weaknesses. for this purpose we discuss position and growth strategies of exporters, effective use of ci, export competitiveness enhancement and sustainable export development. based on conceptual model, knowledge mana...

Usability evaluation can be significantly improved using cognitive modeling. Even though it can help to understand and predict human behavior, the method is not widely applied in industrial environments, due mainly to the time-consuming model development process. We developed a high-level framework for cognitive modeling, HTAmap, which aims to reduce the modeling effort. The process of building...