Inferentializing Consequence

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F08%3A00343032" target="_blank" >RIV/67985955:_____/08:00343032 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Inferentializing Consequence

Original language description

We know that the relation of inference as instituted by any of the common axiom systems of the classical propositional calculus coincides with the relation of consequence defined in terms of the truth tables; whereas the situation is a little bit more complicated w.r.t. the first-order predicate calculus; no coincidence obtains for second-order predicate calculus (with the standard semantics). This makes us consider the problem of "inferentializability": Which kinds of relation of consequence are "inferentializable" in the sense that they coincide with a relation of inferability by means of some collection of rules? In this paper we develop a general framework for the investigation of this problem and prove some results.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

<a href="/en/project/GA401%2F07%2F0904" target="_blank" >GA401/07/0904: Logical analysis - theories and applications. A comprehensive research project complemented with organizational and publication programmes</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2008

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

The Logica Yearbook 2008

ISBN

978-1-904987-46-8

ISSN

—

e-ISSN

—

Number of pages

14

Pages from-to

—

Publisher name

College Publications

Place of publication

London

Event location

Hejnice

Event date

Jun 16, 2008

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—