Inferentializing Consequence

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Inferentializing Consequence

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Inferentializing Consequence

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/GA401%2F07%2F0904" target="_blank" >GA401/07/0904: Logická analýza - teorie a aplikace. Komplexní výzkumný projekt doplněný vědecko-organizačními a publikačními programy</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

Kód důvěrnosti údajů

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

Název statě ve sborníku

The Logica Yearbook 2008

ISBN

978-1-904987-46-8

ISSN

—

e-ISSN

—

Počet stran výsledku

14

Strana od-do

—

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Hejnice

Datum konání akce

16. 6. 2008

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—