This HTML5 document contains 42 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/
n3http://localhost/temp/predkladatel/
n20http://linked.opendata.cz/resource/domain/vavai/projekt/
n19http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/resource/domain/vavai/subjekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n11http://reference.data.gov.uk/id/gregorian-year/
n7http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11210%2F13%3A10190573%21RIV14-GA0-11210___/

Statements

Subject Item
n2:RIV%2F00216208%3A11210%2F13%3A10190573%21RIV14-GA0-11210___
rdf:type
skos:Concept n13:Vysledek
rdfs:seeAlso
http://www.filozof.uni.lodz.pl/bulletin/bazaIssue.php?g=42&d=%273-4%27&long=true
dcterms:description
We prove that any set of axioms containing B, B', and the prelinearity axiom is D-complete, i.e. the very same formulae are provable with the rule of condensed detachment as are with modus ponens and substitution. We prove that any set of axioms containing B, B', and the prelinearity axiom is D-complete, i.e. the very same formulae are provable with the rule of condensed detachment as are with modus ponens and substitution.
dcterms:title
Note on D-completeness and prelinearity Note on D-completeness and prelinearity
skos:prefLabel
Note on D-completeness and prelinearity Note on D-completeness and prelinearity
skos:notation
RIV/00216208:11210/13:10190573!RIV14-GA0-11210___
n13:predkladatel
n14:orjk%3A11210
n4:aktivita
n12:I n12:P
n4:aktivity
I, P(GAP202/10/1826), P(GD401/09/H007)
n4:cisloPeriodika
3-4
n4:dodaniDat
n11:2014
n4:domaciTvurceVysledku
n19:1522981
n4:druhVysledku
n16:J
n4:duvernostUdaju
n18:S
n4:entitaPredkladatele
n7:predkladatel
n4:idSjednocenehoVysledku
92084
n4:idVysledku
RIV/00216208:11210/13:10190573
n4:jazykVysledku
n6:eng
n4:klicovaSlova
prelinearity; condensed detachment; proof theory; logic
n4:klicoveSlovo
n9:prelinearity n9:condensed%20detachment n9:logic n9:proof%20theory
n4:kodStatuVydavatele
PL - Polská republika
n4:kontrolniKodProRIV
[4612FD4DCB19]
n4:nazevZdroje
Bulletin of the Section of Logic
n4:obor
n17:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n20:GAP202%2F10%2F1826 n20:GD401%2F09%2FH007
n4:rokUplatneniVysledku
n11:2013
n4:svazekPeriodika
42
n4:tvurceVysledku
Chvalovský, Karel
s:issn
0138-0680
s:numberOfPages
8
n3:organizacniJednotka
11210