Sampling labeled deductive systems

D. M. Gabbay

doi:10.1002/9780470996751.ch47

Sampling labeled deductive systems

D. M. Gabbay

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	A Companion to Philosophical Logic
Publisher	Wiley-Blackwell
Pages	742-769
Number of pages	28
ISBN (Electronic)	9780470996751
ISBN (Print)	9780631216711
DOIs	https://doi.org/10.1002/9780470996751.ch47
State	Published - 26 Nov 2007
Externally published	Yes

Keywords

Artificial intelligence
Computer science
Meta-language properties
Monotonic logics
Sampling labeled deductive systems

Access to Document

10.1002/9780470996751.ch47

Cite this

@inbook{761e04dfb1c74e899f39b560ef94b26f,

title = "Sampling labeled deductive systems",

keywords = "Artificial intelligence, Computer science, Meta-language properties, Monotonic logics, Sampling labeled deductive systems",

author = "Gabbay, {D. M.}",

year = "2007",

month = nov,

day = "26",

doi = "10.1002/9780470996751.ch47",

language = "אנגלית",

isbn = "9780631216711",

pages = "742--769",

booktitle = "A Companion to Philosophical Logic",

publisher = "Wiley-Blackwell",

address = "ארצות הברית",

}

TY - CHAP

T1 - Sampling labeled deductive systems

AU - Gabbay, D. M.

PY - 2007/11/26

Y1 - 2007/11/26

KW - Artificial intelligence

KW - Computer science

KW - Meta-language properties

KW - Monotonic logics

KW - Sampling labeled deductive systems

UR - http://www.scopus.com/inward/record.url?scp=84955411956&partnerID=8YFLogxK

U2 - 10.1002/9780470996751.ch47

DO - 10.1002/9780470996751.ch47

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:84955411956

SN - 9780631216711

SP - 742

EP - 769

BT - A Companion to Philosophical Logic

PB - Wiley-Blackwell

ER -

Sampling labeled deductive systems

Keywords

Access to Document

Other files and links

Cite this