About: Note on D-completeness and prelinearity

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Note on D-completeness and prelinearity Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://www.filozof.uni.lodz.pl/bulletin/bazaIssue.php?g=42&d=%273-4%27&long=true
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. (en)
Title	Note on D-completeness and prelinearity Note on D-completeness and prelinearity (en)
skos:prefLabel	Note on D-completeness and prelinearity Note on D-completeness and prelinearity (en)
skos:notation	RIV/00216208:11210/13:10190573!RIV14-GA0-11210___
http://linked.open...avai/predkladatel	Filozofická fakulta
http://linked.open...avai/riv/aktivita	I P
http://linked.open...avai/riv/aktivity	I, P(GAP202/10/1826), P(GD401/09/H007)
http://linked.open...iv/cisloPeriodika	3-4
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Chvalovský, Karel
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Karlova v Praze / Filozofická fakulta
http://linked.open...dnocenehoVysledku	92084
http://linked.open...ai/riv/idVysledku	RIV/00216208:11210/13:10190573
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	prelinearity; condensed detachment; proof theory; logic (en)
http://linked.open.../riv/klicoveSlovo	condensed detachment prelinearity proof theory logic
http://linked.open...odStatuVydavatele	PL - Polská republika
http://linked.open...ontrolniKodProRIV	[4612FD4DCB19]
http://linked.open...i/riv/nazevZdroje	Bulletin of the Section of Logic
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Matematická fuzzy logika v informatice Logical foundations of semantics
http://linked.open...UplatneniVysledku	2013
http://linked.open...v/svazekPeriodika	42
http://linked.open...iv/tvurceVysledku	Chvalovský, Karel
issn	0138-0680
number of pages	8 (xsd:int)
http://localhost/t...ganizacniJednotka	11210

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software