About: Inferentializing Semantics

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

About: Inferentializing Semantics 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
Description	The entire development of modern logic is characterized by various forms of confrontation of what has come to be called proof theory with what has earned the label of model theory. The aim of this paper is to sort out the cluster of problems besetting logical inferentialism by disentangling and clarifying one of them, namely determining the power of various inferential frameworks as measured by that of explicitly semantic ones. The entire development of modern logic is characterized by various forms of confrontation of what has come to be called proof theory with what has earned the label of model theory. The aim of this paper is to sort out the cluster of problems besetting logical inferentialism by disentangling and clarifying one of them, namely determining the power of various inferential frameworks as measured by that of explicitly semantic ones. (en)
Title	Inferentializing Semantics Inferentializing Semantics (en)
skos:prefLabel	Inferentializing Semantics Inferentializing Semantics (en)
skos:notation	RIV/67985955:_____/10:00343030!RIV11-GA0-67985955
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA401/07/0904), Z(AV0Z90090514)
http://linked.open...iv/cisloPeriodika	3
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Peregrin, Jaroslav
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	Filosofický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	263524
http://linked.open...ai/riv/idVysledku	RIV/67985955:_____/10:00343030
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	inference; proof theory; model theory; inferentialism; semantics (en)
http://linked.open.../riv/klicoveSlovo	model theory inference semantics inferentialism proof theory
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[BD0C8A7D3547]
http://linked.open...i/riv/nazevZdroje	Journal of Philosophical Logic
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Logical analysis - theories and applications. A comprehensive research project complemented with organizational and publication programmes
http://linked.open...UplatneniVysledku	2010
http://linked.open...v/svazekPeriodika	39
http://linked.open...iv/tvurceVysledku	Peregrin, Jaroslav
http://linked.open...n/vavai/riv/zamer	Transdisciplinary research into selected key areas of philosophy and related disciplines, in particular, logic, classical and medieval studies, and the theory of science. Editions and publications of corresponding texts and electronic databases.
issn	0022-3611
number of pages	20 (xsd:int)
is http://linked.open...avai/riv/vysledek of	Inferentializing Semantics Inferentializing Semantics Inferentializing Semantics

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