Proof methods for modal and intuitionistic logics
Main Author: | |
---|---|
Format: | Print Book |
Language: | English |
Subito Delivery Service: | Order now. |
Check availability: | HBZ Gateway |
WorldCat: | WorldCat |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Published: |
Dordrecht [u.a.]
Reidel
1983
|
In: |
Synthese <Dordrecht> / Library (169)
Year: 1983 |
Series/Journal: | Synthese <Dordrecht> / Library
169 |
Standardized Subjects / Keyword chains: | B
Modal logic
/ Proof
B Intuitionistic logic / Proof B Modal logic / Automatic theorem proving |
Further subjects: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
Online Access: |
Cover Inhaltsverzeichnis (Verlag) |
MARC
LEADER | 00000cam a2200000 4500 | ||
---|---|---|---|
001 | 013992511 | ||
003 | DE-627 | ||
005 | 20240823113846.0 | ||
007 | tu | ||
008 | 840606s1983 ne ||||| 00| ||eng c | ||
020 | |a 9027715734 |9 90-277-1573-4 | ||
035 | |a (DE-627)013992511 | ||
035 | |a (DE-576)009419993 | ||
035 | |a (DE-599)GBV013992511 | ||
035 | |a (OCoLC)251578227 | ||
035 | |a (OCoLC)09325196 | ||
035 | |a (AT-OBV)AC00039668 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
044 | |c XA-NL |c XD-US | ||
082 | 0 | |a 511.3 |q OCLC | |
084 | |a 1 |2 ssgn | ||
084 | |a CC 2600 |2 rvk |0 (DE-625)rvk/17610: | ||
084 | |a SK 130 |2 rvk |0 (DE-625)rvk/143216: | ||
084 | |a 54.10 |2 bkl | ||
084 | |a 08.33 |2 bkl | ||
100 | 1 | |0 (DE-588)172076331 |0 (DE-627)696983745 |0 (DE-576)132950154 |4 aut |a Fitting, Melvin |d 1942- | |
109 | |a Fitting, Melvin 1942- |a Fitting, Melvin C. 1942- |a Fitting, Melvin Chris 1942- |a Fitting, Mel 1942- |a Fitting, M. Ch. 1942- | ||
245 | 1 | 0 | |a Proof methods for modal and intuitionistic logics |c Melvin Fitting |
264 | 1 | |a Dordrecht [u.a.] |b Reidel |c 1983 | |
300 | |a VIII, 555 S. |b graph. Darst. |c 23 cm | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
490 | 1 | |a Synthese library |v 169 | |
500 | |a Literaturverz. S. 526 - 539 | ||
500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |f SSG |x XA-DE-BW |2 pdager |5 DE-21 | |
583 | 1 | |a Archivierung prüfen |c 20240324 |f DE-4165 |z 3 |2 pdager | |
650 | 0 | |a Proof theory | |
650 | 0 | |a Intuitionistic mathematics | |
650 | 0 | |a Modality (Logic) | |
653 | 0 | |a institutionistic mathematics | |
653 | 0 | |a modality (logic) | |
689 | 0 | 0 | |d s |0 (DE-588)4074914-9 |0 (DE-627)104649496 |0 (DE-576)209195711 |2 gnd |a Modallogik |
689 | 0 | 1 | |d s |0 (DE-588)4132532-1 |0 (DE-627)105687006 |0 (DE-576)209636378 |2 gnd |a Beweis |
689 | 0 | |5 (DE-627) | |
689 | 1 | 0 | |d s |0 (DE-588)4162199-2 |0 (DE-627)104819146 |0 (DE-576)209871733 |2 gnd |a Intuitionistische Logik |
689 | 1 | 1 | |d s |0 (DE-588)4132532-1 |0 (DE-627)105687006 |0 (DE-576)209636378 |2 gnd |a Beweis |
689 | 1 | |5 (DE-627) | |
689 | 2 | 0 | |d s |0 (DE-588)4074914-9 |0 (DE-627)104649496 |0 (DE-576)209195711 |2 gnd |a Modallogik |
689 | 2 | 1 | |d s |0 (DE-588)4069034-9 |0 (DE-627)106104462 |0 (DE-576)209175370 |2 gnd |a Automatisches Beweisverfahren |
689 | 2 | |5 (DE-627) | |
830 | 0 | |a Synthese <Dordrecht> / Library |v 169 |9 16900 |w (DE-627)130721603 |w (DE-576)004093119 |w (DE-600)970972-1 |x 0082-1128 |7 ns | |
856 | 4 | 2 | |u http://www.gbv.de/dms/hbz/toc/ht002471028.pdf |m V:DE-605 |q pdf/application |v 2008-11-15 |x Verlag |y Inhaltsverzeichnis |3 Inhaltsverzeichnis |
856 | 4 | 2 | |u https://swbplus.bsz-bw.de/bsz009419993cov.jpg |m V:DE-576 |m X:springer |q image/jpeg |v 20150909153111 |3 Cover |
935 | |a mteo | ||
935 | |i Blocktest | ||
936 | r | v | |a CC 2600 |b Abhandlungen zur Logik und mathematischen Grundlagenforschung |k Philosophie |k Systematische Philosophie |k Logik |k Abhandlungen zur Logik und mathematischen Grundlagenforschung |0 (DE-627)1270638734 |0 (DE-625)rvk/17610: |0 (DE-576)200638734 |
936 | r | v | |a SK 130 |b Logik und Grundlagen, Metamathematik, |k Mathematik |k Monografien |k Logik und Grundlagen, Metamathematik, |0 (DE-627)1270918567 |0 (DE-625)rvk/143216: |0 (DE-576)200918567 |
936 | b | k | |a 54.10 |j Theoretische Informatik |0 (DE-627)106418815 |
936 | b | k | |a 08.33 |j Logik |x Philosophie |0 (DE-627)106402684 |
951 | |a BO | ||
ELC | |b 1 | ||
ITA | |a 1 |t 1 | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 3197034708 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 013992511 | ||
LOK | |0 005 20000907000000 | ||
LOK | |0 008 971215||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21 |c DE-627 |d DE-21 | ||
LOK | |0 852 |a DE-21 | ||
LOK | |0 852 1 |c 23 A 16599 |9 00 | ||
LOK | |0 935 |a konv | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 3197034791 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 013992511 | ||
LOK | |0 005 20100406170053 | ||
LOK | |0 008 020802||||||||||||||||ger||||||| | ||
LOK | |0 035 |a (DE-21-39)92200832 | ||
LOK | |0 040 |a DE-21-39 |c DE-627 |d DE-21-39 | ||
LOK | |0 541 |e 303/94 | ||
LOK | |0 852 |a DE-21-39 | ||
LOK | |0 852 1 |c Fitt |m p |9 00 | ||
LOK | |0 935 |a k039 | ||
LOK | |0 936ln |0 129992333X |a 03 | ||
LOK | |0 938 |k p | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 3197034805 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 013992511 | ||
LOK | |0 005 20000907000000 | ||
LOK | |0 008 870702||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21-108 |c DE-627 |d DE-21-108 | ||
LOK | |0 092 |o l | ||
LOK | |0 541 |e 1973/87 | ||
LOK | |0 852 |a DE-21-108 | ||
LOK | |0 852 1 |c GD 320.314 |m p |9 00 | ||
LOK | |0 936ln |0 1288790139 |a GD 320 | ||
LOK | |0 936ln |0 1288798784 |a GD 215 | ||
LOK | |0 938 |k p | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 3197034813 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 013992511 | ||
LOK | |0 005 20100406204703 | ||
LOK | |0 008 050820||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21-46 |c DE-627 |d DE-21-46 | ||
LOK | |0 541 |e 94/770 | ||
LOK | |0 689 |a s |0 1311359982 |a Logik | ||
LOK | |0 852 |a DE-21-46 | ||
LOK | |0 852 1 |c D 4/1983,13 |m p |9 00 | ||
LOK | |0 935 |a k046 | ||
LOK | |0 938 |k p | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 3197034848 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 013992511 | ||
LOK | |0 005 20060418113128 | ||
LOK | |0 008 060418||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21-31 |c DE-627 |d DE-21-31 | ||
LOK | |0 541 |e 6287 (herm) | ||
LOK | |0 852 |a DE-21-31 | ||
LOK | |0 852 1 |c Yq IV f 6 |m p |9 00 | ||
LOK | |0 935 |a kneu | ||
LOK | |0 938 |k p | ||
ORI | |a TA-MARC-ixtheoa001.raw | ||
REL | |a 1 | ||
STA | 0 | 0 | |a Automatic theorem proving,Intuitionistic logic,Modal logic,Proof |
STB | 0 | 0 | |a Démonstration automatique de théorèmes,Logique intuitionniste,Logique modale,Preuve |
STC | 0 | 0 | |a Demonstración automática de teoremas,Lógica intuicionista,Lógica modal,Prueba |
STD | 0 | 0 | |a Dimostrazione automatica di teoremi,Logica intuizionista,Logica modale,Prova |
STE | 0 | 0 | |a 模态逻辑,内涵逻辑,情态逻辑,证据,论证,证明 |
STF | 0 | 0 | |a 模態邏輯,內涵邏輯,情態邏輯,直觉主义逻辑,證據,論證,證明 |
STG | 0 | 0 | |a Demonstração automática de teoremas,Lógica intuicionista,Lógica modal,Prova |
STH | 0 | 0 | |a Автоматическое доказательство,Доказательство,Интуиционистская логика,Модальная логика |
STI | 0 | 0 | |a Απόδειξη,Αποδεικτικό στοιχείο,Αυτόματη απόδειξη θεωρημάτων,Διαισθητική λογική,Τροπική λογική |
SUB | |a REL | ||
SYG | 0 | 0 | |a Modale Logik,Modalitätenlogik , Demonstratio quia,Demonstratio propter quid,Beweise , Effektive Logik , Demonstratio quia,Demonstratio propter quid,Beweise , Modale Logik,Modalitätenlogik , Beweis,Maschinelles Beweisverfahren,Mechanisches Beweisverfahren,Theorembeweisen,Automatisches Theorembeweisen,Automated theorem proving,Automatic theorem proving,Automatisches Beweisen |