Natural deduction rules for a logic of vagueness
Autor*in: |
Burgess, J. A. [verfasserIn] |
---|
Format: |
Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
1987 |
---|
Schlagwörter: |
---|
Anmerkung: |
© D. Reidel Publishing Company 1987 |
---|
Übergeordnetes Werk: |
Enthalten in: Erkenntnis - Kluwer Academic Publishers, 1930, 27(1987), 2 vom: Sept., Seite 197-229 |
---|---|
Übergeordnetes Werk: |
volume:27 ; year:1987 ; number:2 ; month:09 ; pages:197-229 |
Links: |
---|
DOI / URN: |
10.1007/BF00175369 |
---|
Katalog-ID: |
OLC2072707188 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | OLC2072707188 | ||
003 | DE-627 | ||
005 | 20230503053224.0 | ||
007 | tu | ||
008 | 200819s1987 xx ||||| 00| ||eng c | ||
024 | 7 | |a 10.1007/BF00175369 |2 doi | |
035 | |a (DE-627)OLC2072707188 | ||
035 | |a (DE-He213)BF00175369-p | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
082 | 0 | 4 | |a 100 |q VZ |
082 | 0 | 4 | |a 100 |q VZ |
084 | |a 5,1 |2 ssgn | ||
084 | |a PHILOS |q DE-12 |2 fid | ||
084 | |a LING |q DE-30 |2 fid | ||
100 | 1 | |a Burgess, J. A. |e verfasserin |4 aut | |
245 | 1 | 0 | |a Natural deduction rules for a logic of vagueness |
264 | 1 | |c 1987 | |
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
500 | |a © D. Reidel Publishing Company 1987 | ||
650 | 4 | |a Natural Deduction | |
650 | 4 | |a Deduction Rule | |
650 | 4 | |a Natural Deduction Rule | |
700 | 1 | |a Humberstone, I. L. |4 aut | |
773 | 0 | 8 | |i Enthalten in |t Erkenntnis |d Kluwer Academic Publishers, 1930 |g 27(1987), 2 vom: Sept., Seite 197-229 |w (DE-627)129476242 |w (DE-600)203461-X |w (DE-576)01485578X |x 0165-0106 |7 nnns |
773 | 1 | 8 | |g volume:27 |g year:1987 |g number:2 |g month:09 |g pages:197-229 |
856 | 4 | 1 | |u https://doi.org/10.1007/BF00175369 |z lizenzpflichtig |3 Volltext |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a FID-PHILOS | ||
912 | |a FID-LING | ||
912 | |a SSG-OLC-PHI | ||
912 | |a GBV_ILN_11 | ||
912 | |a GBV_ILN_21 | ||
912 | |a GBV_ILN_22 | ||
912 | |a GBV_ILN_31 | ||
912 | |a GBV_ILN_40 | ||
912 | |a GBV_ILN_72 | ||
912 | |a GBV_ILN_120 | ||
912 | |a GBV_ILN_130 | ||
912 | |a GBV_ILN_2003 | ||
912 | |a GBV_ILN_2005 | ||
912 | |a GBV_ILN_2007 | ||
912 | |a GBV_ILN_2009 | ||
912 | |a GBV_ILN_2010 | ||
912 | |a GBV_ILN_2018 | ||
912 | |a GBV_ILN_4012 | ||
912 | |a GBV_ILN_4027 | ||
912 | |a GBV_ILN_4028 | ||
912 | |a GBV_ILN_4029 | ||
912 | |a GBV_ILN_4035 | ||
912 | |a GBV_ILN_4037 | ||
912 | |a GBV_ILN_4046 | ||
912 | |a GBV_ILN_4082 | ||
912 | |a GBV_ILN_4103 | ||
912 | |a GBV_ILN_4112 | ||
912 | |a GBV_ILN_4125 | ||
912 | |a GBV_ILN_4126 | ||
912 | |a GBV_ILN_4305 | ||
912 | |a GBV_ILN_4306 | ||
912 | |a GBV_ILN_4310 | ||
912 | |a GBV_ILN_4311 | ||
912 | |a GBV_ILN_4316 | ||
912 | |a GBV_ILN_4319 | ||
912 | |a GBV_ILN_4322 | ||
912 | |a GBV_ILN_4323 | ||
912 | |a GBV_ILN_4324 | ||
912 | |a GBV_ILN_4325 | ||
912 | |a GBV_ILN_4700 | ||
951 | |a AR | ||
952 | |d 27 |j 1987 |e 2 |c 09 |h 197-229 |
author_variant |
j a b ja jab i l h il ilh |
---|---|
matchkey_str |
article:01650106:1987----::auaddcinuefrlgc |
hierarchy_sort_str |
1987 |
publishDate |
1987 |
allfields |
10.1007/BF00175369 doi (DE-627)OLC2072707188 (DE-He213)BF00175369-p DE-627 ger DE-627 rakwb eng 100 VZ 100 VZ 5,1 ssgn PHILOS DE-12 fid LING DE-30 fid Burgess, J. A. verfasserin aut Natural deduction rules for a logic of vagueness 1987 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © D. Reidel Publishing Company 1987 Natural Deduction Deduction Rule Natural Deduction Rule Humberstone, I. L. aut Enthalten in Erkenntnis Kluwer Academic Publishers, 1930 27(1987), 2 vom: Sept., Seite 197-229 (DE-627)129476242 (DE-600)203461-X (DE-576)01485578X 0165-0106 nnns volume:27 year:1987 number:2 month:09 pages:197-229 https://doi.org/10.1007/BF00175369 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_31 GBV_ILN_40 GBV_ILN_72 GBV_ILN_120 GBV_ILN_130 GBV_ILN_2003 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2018 GBV_ILN_4012 GBV_ILN_4027 GBV_ILN_4028 GBV_ILN_4029 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4316 GBV_ILN_4319 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4700 AR 27 1987 2 09 197-229 |
spelling |
10.1007/BF00175369 doi (DE-627)OLC2072707188 (DE-He213)BF00175369-p DE-627 ger DE-627 rakwb eng 100 VZ 100 VZ 5,1 ssgn PHILOS DE-12 fid LING DE-30 fid Burgess, J. A. verfasserin aut Natural deduction rules for a logic of vagueness 1987 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © D. Reidel Publishing Company 1987 Natural Deduction Deduction Rule Natural Deduction Rule Humberstone, I. L. aut Enthalten in Erkenntnis Kluwer Academic Publishers, 1930 27(1987), 2 vom: Sept., Seite 197-229 (DE-627)129476242 (DE-600)203461-X (DE-576)01485578X 0165-0106 nnns volume:27 year:1987 number:2 month:09 pages:197-229 https://doi.org/10.1007/BF00175369 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_31 GBV_ILN_40 GBV_ILN_72 GBV_ILN_120 GBV_ILN_130 GBV_ILN_2003 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2018 GBV_ILN_4012 GBV_ILN_4027 GBV_ILN_4028 GBV_ILN_4029 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4316 GBV_ILN_4319 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4700 AR 27 1987 2 09 197-229 |
allfields_unstemmed |
10.1007/BF00175369 doi (DE-627)OLC2072707188 (DE-He213)BF00175369-p DE-627 ger DE-627 rakwb eng 100 VZ 100 VZ 5,1 ssgn PHILOS DE-12 fid LING DE-30 fid Burgess, J. A. verfasserin aut Natural deduction rules for a logic of vagueness 1987 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © D. Reidel Publishing Company 1987 Natural Deduction Deduction Rule Natural Deduction Rule Humberstone, I. L. aut Enthalten in Erkenntnis Kluwer Academic Publishers, 1930 27(1987), 2 vom: Sept., Seite 197-229 (DE-627)129476242 (DE-600)203461-X (DE-576)01485578X 0165-0106 nnns volume:27 year:1987 number:2 month:09 pages:197-229 https://doi.org/10.1007/BF00175369 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_31 GBV_ILN_40 GBV_ILN_72 GBV_ILN_120 GBV_ILN_130 GBV_ILN_2003 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2018 GBV_ILN_4012 GBV_ILN_4027 GBV_ILN_4028 GBV_ILN_4029 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4316 GBV_ILN_4319 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4700 AR 27 1987 2 09 197-229 |
allfieldsGer |
10.1007/BF00175369 doi (DE-627)OLC2072707188 (DE-He213)BF00175369-p DE-627 ger DE-627 rakwb eng 100 VZ 100 VZ 5,1 ssgn PHILOS DE-12 fid LING DE-30 fid Burgess, J. A. verfasserin aut Natural deduction rules for a logic of vagueness 1987 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © D. Reidel Publishing Company 1987 Natural Deduction Deduction Rule Natural Deduction Rule Humberstone, I. L. aut Enthalten in Erkenntnis Kluwer Academic Publishers, 1930 27(1987), 2 vom: Sept., Seite 197-229 (DE-627)129476242 (DE-600)203461-X (DE-576)01485578X 0165-0106 nnns volume:27 year:1987 number:2 month:09 pages:197-229 https://doi.org/10.1007/BF00175369 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_31 GBV_ILN_40 GBV_ILN_72 GBV_ILN_120 GBV_ILN_130 GBV_ILN_2003 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2018 GBV_ILN_4012 GBV_ILN_4027 GBV_ILN_4028 GBV_ILN_4029 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4316 GBV_ILN_4319 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4700 AR 27 1987 2 09 197-229 |
allfieldsSound |
10.1007/BF00175369 doi (DE-627)OLC2072707188 (DE-He213)BF00175369-p DE-627 ger DE-627 rakwb eng 100 VZ 100 VZ 5,1 ssgn PHILOS DE-12 fid LING DE-30 fid Burgess, J. A. verfasserin aut Natural deduction rules for a logic of vagueness 1987 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © D. Reidel Publishing Company 1987 Natural Deduction Deduction Rule Natural Deduction Rule Humberstone, I. L. aut Enthalten in Erkenntnis Kluwer Academic Publishers, 1930 27(1987), 2 vom: Sept., Seite 197-229 (DE-627)129476242 (DE-600)203461-X (DE-576)01485578X 0165-0106 nnns volume:27 year:1987 number:2 month:09 pages:197-229 https://doi.org/10.1007/BF00175369 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_31 GBV_ILN_40 GBV_ILN_72 GBV_ILN_120 GBV_ILN_130 GBV_ILN_2003 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2018 GBV_ILN_4012 GBV_ILN_4027 GBV_ILN_4028 GBV_ILN_4029 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4316 GBV_ILN_4319 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4700 AR 27 1987 2 09 197-229 |
language |
English |
source |
Enthalten in Erkenntnis 27(1987), 2 vom: Sept., Seite 197-229 volume:27 year:1987 number:2 month:09 pages:197-229 |
sourceStr |
Enthalten in Erkenntnis 27(1987), 2 vom: Sept., Seite 197-229 volume:27 year:1987 number:2 month:09 pages:197-229 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
topic_facet |
Natural Deduction Deduction Rule Natural Deduction Rule |
dewey-raw |
100 |
isfreeaccess_bool |
false |
container_title |
Erkenntnis |
authorswithroles_txt_mv |
Burgess, J. A. @@aut@@ Humberstone, I. L. @@aut@@ |
publishDateDaySort_date |
1987-09-01T00:00:00Z |
hierarchy_top_id |
129476242 |
dewey-sort |
3100 |
id |
OLC2072707188 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2072707188</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230503053224.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200819s1987 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BF00175369</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2072707188</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)BF00175369-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">100</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">100</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHILOS</subfield><subfield code="q">DE-12</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LING</subfield><subfield code="q">DE-30</subfield><subfield code="2">fid</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Burgess, J. A.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Natural deduction rules for a logic of vagueness</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1987</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© D. Reidel Publishing Company 1987</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Deduction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deduction Rule</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Deduction Rule</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Humberstone, I. L.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Erkenntnis</subfield><subfield code="d">Kluwer Academic Publishers, 1930</subfield><subfield code="g">27(1987), 2 vom: Sept., Seite 197-229</subfield><subfield code="w">(DE-627)129476242</subfield><subfield code="w">(DE-600)203461-X</subfield><subfield code="w">(DE-576)01485578X</subfield><subfield code="x">0165-0106</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:27</subfield><subfield code="g">year:1987</subfield><subfield code="g">number:2</subfield><subfield code="g">month:09</subfield><subfield code="g">pages:197-229</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/BF00175369</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-PHILOS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-LING</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-PHI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_72</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2003</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2005</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2009</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4028</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4029</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4035</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4082</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4103</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4310</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4311</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4316</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4319</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4322</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">27</subfield><subfield code="j">1987</subfield><subfield code="e">2</subfield><subfield code="c">09</subfield><subfield code="h">197-229</subfield></datafield></record></collection>
|
author |
Burgess, J. A. |
spellingShingle |
Burgess, J. A. ddc 100 ssgn 5,1 fid PHILOS fid LING misc Natural Deduction misc Deduction Rule misc Natural Deduction Rule Natural deduction rules for a logic of vagueness |
authorStr |
Burgess, J. A. |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)129476242 |
format |
Article |
dewey-ones |
100 - Philosophy & psychology |
delete_txt_mv |
keep |
author_role |
aut aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
0165-0106 |
topic_title |
100 VZ 5,1 ssgn PHILOS DE-12 fid LING DE-30 fid Natural deduction rules for a logic of vagueness Natural Deduction Deduction Rule Natural Deduction Rule |
topic |
ddc 100 ssgn 5,1 fid PHILOS fid LING misc Natural Deduction misc Deduction Rule misc Natural Deduction Rule |
topic_unstemmed |
ddc 100 ssgn 5,1 fid PHILOS fid LING misc Natural Deduction misc Deduction Rule misc Natural Deduction Rule |
topic_browse |
ddc 100 ssgn 5,1 fid PHILOS fid LING misc Natural Deduction misc Deduction Rule misc Natural Deduction Rule |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
hierarchy_parent_title |
Erkenntnis |
hierarchy_parent_id |
129476242 |
dewey-tens |
100 - Philosophy |
hierarchy_top_title |
Erkenntnis |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)129476242 (DE-600)203461-X (DE-576)01485578X |
title |
Natural deduction rules for a logic of vagueness |
ctrlnum |
(DE-627)OLC2072707188 (DE-He213)BF00175369-p |
title_full |
Natural deduction rules for a logic of vagueness |
author_sort |
Burgess, J. A. |
journal |
Erkenntnis |
journalStr |
Erkenntnis |
lang_code |
eng |
isOA_bool |
false |
dewey-hundreds |
100 - Philosophy & psychology |
recordtype |
marc |
publishDateSort |
1987 |
contenttype_str_mv |
txt |
container_start_page |
197 |
author_browse |
Burgess, J. A. Humberstone, I. L. |
container_volume |
27 |
class |
100 VZ 5,1 ssgn PHILOS DE-12 fid LING DE-30 fid |
format_se |
Aufsätze |
author-letter |
Burgess, J. A. |
doi_str_mv |
10.1007/BF00175369 |
dewey-full |
100 |
title_sort |
natural deduction rules for a logic of vagueness |
title_auth |
Natural deduction rules for a logic of vagueness |
abstract |
© D. Reidel Publishing Company 1987 |
abstractGer |
© D. Reidel Publishing Company 1987 |
abstract_unstemmed |
© D. Reidel Publishing Company 1987 |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS FID-LING SSG-OLC-PHI GBV_ILN_11 GBV_ILN_21 GBV_ILN_22 GBV_ILN_31 GBV_ILN_40 GBV_ILN_72 GBV_ILN_120 GBV_ILN_130 GBV_ILN_2003 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2018 GBV_ILN_4012 GBV_ILN_4027 GBV_ILN_4028 GBV_ILN_4029 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4316 GBV_ILN_4319 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4700 |
container_issue |
2 |
title_short |
Natural deduction rules for a logic of vagueness |
url |
https://doi.org/10.1007/BF00175369 |
remote_bool |
false |
author2 |
Humberstone, I. L. |
author2Str |
Humberstone, I. L. |
ppnlink |
129476242 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
doi_str |
10.1007/BF00175369 |
up_date |
2024-07-03T15:54:46.753Z |
_version_ |
1803573879641210880 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2072707188</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230503053224.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200819s1987 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BF00175369</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2072707188</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)BF00175369-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">100</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">100</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHILOS</subfield><subfield code="q">DE-12</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LING</subfield><subfield code="q">DE-30</subfield><subfield code="2">fid</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Burgess, J. A.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Natural deduction rules for a logic of vagueness</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1987</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© D. Reidel Publishing Company 1987</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Deduction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deduction Rule</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Deduction Rule</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Humberstone, I. L.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Erkenntnis</subfield><subfield code="d">Kluwer Academic Publishers, 1930</subfield><subfield code="g">27(1987), 2 vom: Sept., Seite 197-229</subfield><subfield code="w">(DE-627)129476242</subfield><subfield code="w">(DE-600)203461-X</subfield><subfield code="w">(DE-576)01485578X</subfield><subfield code="x">0165-0106</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:27</subfield><subfield code="g">year:1987</subfield><subfield code="g">number:2</subfield><subfield code="g">month:09</subfield><subfield code="g">pages:197-229</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/BF00175369</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-PHILOS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-LING</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-PHI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_72</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2003</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2005</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2009</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4028</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4029</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4035</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4082</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4103</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4310</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4311</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4316</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4319</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4322</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">27</subfield><subfield code="j">1987</subfield><subfield code="e">2</subfield><subfield code="c">09</subfield><subfield code="h">197-229</subfield></datafield></record></collection>
|
score |
7.400014 |