This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n15http://localhost/temp/predkladatel/
n13http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/ontology/domain/vavai/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14210%2F14%3A00076637%21RIV15-MSM-14210___/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n7http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14210%2F14%3A00076637%21RIV15-MSM-14210___
rdf:type
n16:Vysledek skos:Concept
dcterms:description
The main objective of this paper is to sketch unifying conceptual and formal framework for inference that is able to explain various proof techniques without implicitly changing the underlying notion of inference rules. We base this framework upon the so-called two-dimensional, i.e., deduction to deduction, account of inference introduced by Tichý in his seminal work The Foundations of Frege's Logic (1988). Consequently, it will be argued that sequent calculus provides suitable basis for such general concept of inference and therefore should not be seen just as technical tool, but philosophically well-founded system that can rival natural deduction in terms of its “naturalness”. The main objective of this paper is to sketch unifying conceptual and formal framework for inference that is able to explain various proof techniques without implicitly changing the underlying notion of inference rules. We base this framework upon the so-called two-dimensional, i.e., deduction to deduction, account of inference introduced by Tichý in his seminal work The Foundations of Frege's Logic (1988). Consequently, it will be argued that sequent calculus provides suitable basis for such general concept of inference and therefore should not be seen just as technical tool, but philosophically well-founded system that can rival natural deduction in terms of its “naturalness”.
dcterms:title
Towards a More General Concept of Inference Towards a More General Concept of Inference
skos:prefLabel
Towards a More General Concept of Inference Towards a More General Concept of Inference
skos:notation
RIV/00216224:14210/14:00076637!RIV15-MSM-14210___
n3:aktivita
n4:S
n3:aktivity
S
n3:cisloPeriodika
1
n3:dodaniDat
n8:2015
n3:domaciTvurceVysledku
n13:2675870
n3:druhVysledku
n17:J
n3:duvernostUdaju
n9:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
50795
n3:idVysledku
RIV/00216224:14210/14:00076637
n3:jazykVysledku
n18:eng
n3:klicovaSlova
proof theory; inference; two-dimensional inference; 2D inference; inference rule; natural deduction; sequent calculus; Tichý; Frege
n3:klicoveSlovo
n5:inference%20rule n5:Frege n5:inference n5:sequent%20calculus n5:Tich%C3%BD n5:proof%20theory n5:two-dimensional%20inference n5:2D%20inference n5:natural%20deduction
n3:kodStatuVydavatele
CH - Švýcarská konfederace
n3:kontrolniKodProRIV
[2AB41A19AC8F]
n3:nazevZdroje
Logica Universalis
n3:obor
n6:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n8:2014
n3:svazekPeriodika
8
n3:tvurceVysledku
Pezlar, Ivo
s:issn
1661-8297
s:numberOfPages
21
n7:doi
10.1007/s11787-014-0095-3
n15:organizacniJednotka
14210