forked from bmschmidt/CV-pandoc-healy
-
Notifications
You must be signed in to change notification settings - Fork 4
/
zach.bib
1645 lines (1533 loc) · 71.5 KB
/
zach.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
@article{AntonelliUrquhartZach2008,
title = {Editors' Introduction. {{Mathematical}} Methods in Philosophy},
author = {Antonelli, Aldo and Urquhart, Alasdair and Zach, Richard},
date = {2008},
journaltitle = {The Review of Symbolic Logic},
volume = {1},
number = {2},
pages = {143--145},
doi = {10.1017/S1755020308080131},
keywords = {other}
}
@article{AranaGlanzbergSiderWeathersonEtAl2005,
title = {Panel Discussion: Logic Instruction and Philosophy Graduate Training},
author = {Arana, Andrew and Glanzberg, Michael and Sider, Ted and Weatherson, Brian and Zach, Richard},
date = {2005},
journaltitle = {The Bulletin of Symbolic Logic},
volume = {11},
pages = {549--550},
keywords = {abstract}
}
@incollection{AvigadZach2002,
title = {The Epsilon Calculus},
booktitle = {Stanford {{Encyclopedia}} of {{Philosophy}}},
author = {Avigad, Jeremy and Zach, Richard},
editor = {Zalta, Edward N.},
date = {2024},
edition = {Fall 2024},
eprint = {AVITEC-2},
eprinttype = {philpapers},
publisher = {Metaphysics Research Lab, Stanford University},
url = {https://plato.stanford.edu/entries/epsilon-calculus},
scholar = {1276439175304434383},
keywords = {chapter},
annotation = {First published 2002.}
}
@incollection{BaazCiabattoniZach2000,
title = {Quantified Propositional {{G\"odel}} Logic},
booktitle = {Logic for {{Programming}} and {{Automated Reasoning}}. 7th {{International Conference}}, {{LPAR}} 2000},
author = {Baaz, Matthias and Ciabattoni, Agata and Zach, Richard},
editor = {Voronkov, Andrei and Parigot, Michel},
date = {2000},
series = {{{LNCS}}},
number = {1955},
eprint = {BAAQPG},
eprinttype = {philpapers},
pages = {240--256},
publisher = {Springer},
location = {Berlin},
doi = {10.1007/3-540-44404-1_16},
scholar = {508575286216747377},
keywords = {chapter}
}
@incollection{BaazFermullerOvrutckiZach1993,
title = {{{MULTLOG}}: {{A}} System for Axiomatizing Many-Valued Logics},
booktitle = {Logic {{Programming}} and {{Automated Reasoning}}. {{Proceedings LPAR}}'93},
author = {Baaz, Matthias and Ferm\"uller, Christian G. and Ovrutcki, Arie and Zach, Richard},
editor = {Voronkov, Andrei},
date = {1993},
series = {{{LNCS}}},
number = {698},
pages = {345--347},
publisher = {Springer},
location = {Berlin},
doi = {10.1007/3-540-56944-8_66},
scholar = {6812841501365909210,3159099000448720939},
keywords = {chapter}
}
@inproceedings{BaazFermullerSalzerZach1996,
title = {{{MUltlog}} 1.0: {{Towards}} an Expert System for Many-Valued Logics},
booktitle = {Automated {{Deduction}}. {{Cade-13}}: 13th {{International Conference}} on {{Automated Deduction}}. {{Proceedings}}},
author = {Baaz, Matthias and Ferm\"uller, Christian G. and Salzer, Gernot and Zach, Richard},
editor = {McRobbie, M. A. and Slaney, J. K.},
date = {1996},
pages = {226--230},
publisher = {Springer},
location = {Berlin, Heidelberg},
doi = {10.1007/3-540-61511-3_84},
abstract = {MUltlog is a system which takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and a calculus for transforming a many-valued formula to clauses suitable for many-valued resolution. All generated rules are optimized regarding their branching degree. The output is in the form of a scientific paper, written in LATEX},
scholar = {11312569948555206888},
file = {/home/zach/Documents/bib/Baaz et al - 1996 - MUltlog 1.0 - Towards an expert system for many-valued logics.pdf}
}
@article{BaazFermullerSalzerZach1998,
title = {Labeled Calculi and Finite-Valued Logics},
author = {Baaz, Matthias and Ferm\"uller, Christian G. and Salzer, Gernot and Zach, Richard},
date = {1998},
journaltitle = {Studia Logica},
volume = {61},
number = {1},
eprint = {BAALCA},
eprinttype = {philpapers},
pages = {7--33},
doi = {10.1023/A:1005022012721},
scholar = {515623037569117347,6617951524360595549},
keywords = {article},
file = {/home/zach/Documents/bib/Baaz et al - 1998 - Labeled Calculi and Finite-valued Logics.pdf}
}
@article{BaazFermullerZach1993,
title = {Dual Systems of Sequents and Tableaux for Many-Valued Logics},
author = {Baaz, Matthias and Ferm\"uller, Christian G. and Zach, Richard},
date = {1993},
journaltitle = {Bulletin of the EATCS},
volume = {51},
eprint = {BAADSO},
eprinttype = {philpapers},
pages = {192--197},
doi = {10.11575/PRISM/38908},
scholar = {6791592744025234472},
keywords = {article},
file = {/home/zach/Documents/bib/Baaz et al - 1993 - Dual systems of sequents and tableaux for many-valued logics.pdf;/home/zach/Documents/bib/Baaz et al - 1993 - Dual systems of sequents and tableaux for many-valued logics2.pdf}
}
@report{BaazFermullerZach1993a,
title = {Systematic Construction of Natural Deduction Systems for Many-Valued Logics. {{Extended}} Report},
author = {Baaz, Matthias and Ferm\"uller, Christian G. and Zach, Richard},
date = {1993},
number = {TUW--185.2--BFZ.1--93},
institution = {Technische Universit\"at Wien, Institut f\"ur Computersprachen E185.2},
location = {Vienna},
doi = {10.11575/PRISM/39963},
keywords = {techreport},
file = {/home/zach/Documents/bib/Baaz et al. - 1993 - Systematic construction of natural deduction syste3.pdf}
}
@inproceedings{BaazFermullerZach1993b,
title = {Systematic Construction of Natural Deduction Systems for Many-Valued Logics},
booktitle = {23rd {{International Symposium}} on {{Multiple-valued Logic}}. {{Proceedings}}},
author = {Baaz, Matthias and Ferm\"uller, Christian G. and Zach, Richard},
date = {1993},
eprint = {FERSCO-3},
eprinttype = {philpapers},
pages = {208--213},
publisher = {IEEE Press},
location = {Los Alamitos},
doi = {10.1109/ISMVL.1993.289558},
scholar = {8129704214380989574,8943239453694643393},
keywords = {chapter},
file = {/home/zach/Documents/bib/Baaz et al. - 1993 - Systematic construction of natural deduction syste.pdf;/home/zach/Documents/bib/Baaz et al. - 1993 - Systematic construction of natural deduction syste2.pdf}
}
@article{BaazFermullerZach1994,
title = {Elimination of Cuts in First-Order Finite-Valued Logics},
author = {Baaz, Matthias and Ferm\"uller, Christian G. and Zach, Richard},
date = {1993},
journaltitle = {Journal of Information Processing and Cybernetics EIK},
volume = {29},
number = {6},
eprint = {BAAEOC},
eprinttype = {philpapers},
pages = {333--355},
doi = {10.11575/PRISM/38801},
langid = {english},
scholar = {16004999232470631426},
keywords = {article},
file = {/home/zach/Documents/bib/Baaz et al - 1993 - Elimination of cuts in first-order finite-valued logics.pdf}
}
@article{BaazFermullerZach1995,
title = {Proof Theory of Finite-Valued Logics},
author = {Baaz, Matthias and Ferm\"uller, Christian G. and Zach, Richard},
date = {1995},
journaltitle = {Bulletin of Symbolic Logic},
volume = {1},
pages = {221--222},
keywords = {abstract}
}
@incollection{BaazLeitschZach1996,
title = {Incompleteness of an Infinite-Valued First-Order {{G\"odel}} Logic and of Some Temporal Logics of Programs},
booktitle = {Computer {{Science Logic}}. {{CSL}} 1995. {{Selected Papers}}},
author = {Baaz, Matthias and Leitsch, Alexander and Zach, Richard},
editor = {B\"orger, E.},
date = {1996},
series = {{{LNCS}}},
number = {1092},
eprint = {BAAIOA},
eprinttype = {philpapers},
pages = {1--15},
publisher = {Springer},
location = {Berlin},
doi = {10.1007/3-540-61377-3_28},
scholar = {13076271255220919685},
keywords = {chapter},
file = {/home/zach/Documents/bib/Baaz et al - 1996 - Incompleteness of an infinite-valued first-order Gödel logic and of some.pdf}
}
@article{BaazLeitschZach1996a,
title = {Completeness of a First-Order Temporal Logic with Time-Gaps},
author = {Baaz, Matthias and Leitsch, Alexander and Zach, Richard},
date = {1996-06},
journaltitle = {Theoretical Computer Science},
volume = {160},
number = {1--2},
eprint = {BAACOA},
eprinttype = {philpapers},
pages = {241--270},
doi = {10.1016/0304-3975(95)00107-7},
abstract = {The first-order temporal logics with o and o of time structures isomorphic to w (discrete linear time) and trees of o-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.},
langid = {english},
scholar = {11003778821934401917},
keywords = {article},
file = {/home/zach/Documents/bib/Baaz et al. - 1996 - Completeness of a first-order temporal logic with .pdf}
}
@inproceedings{BaazPreiningZach2003,
title = {Characterization of the Axiomatizable Prenex Fragments of First-Order {{G\"odel}} Logics},
booktitle = {33rd {{International Symposium}} on {{Multiple-valued Logic}}. {{May}} 2003, {{Tokyo}}, {{Japan}}. {{Proceedings}}},
author = {Baaz, Matthias and Preining, Norbert and Zach, Richard},
date = {2003-05},
pages = {175--180},
publisher = {IEEE Press},
location = {Los Alamitos},
doi = {10.1109/ISMVL.2003.1201403},
eventtitle = {33rd {{International Symposium}} on {{Multiple-Valued Logic}}, 2003. {{Proceedings}}.},
scholar = {1102196351642569752},
keywords = {Artificial intelligence,axiomatizable prenex fragments,chapter,Cost accounting,countably infinite Godel logics,finite subsets,first-order infinite-valued Godel logics,formal logic,Linearity,Multivalued logic,set theory},
file = {/home/zach/Documents/bib/Baaz et al - 2003 - Characterization of the axiomatizable prenex fragments of first-order Gödel.pdf}
}
@article{BaazPreiningZach2005,
title = {Axiomatizability of First-Order {{G\"odel}} Logics},
author = {Baaz, Matthias and Preining, Norbert and Zach, Richard},
date = {2005},
journaltitle = {Bulletin of Symbolic Logic},
volume = {11},
pages = {267},
keywords = {abstract}
}
@inproceedings{BaazPreiningZach2006,
title = {Completeness of a Hypersequent Calculus for Some First-Order {{G\"odel}} Logics with Delta},
booktitle = {36th {{International Symposium}} on {{Multiple-valued Logic}}. {{May}} 2006, {{Singapore}}. {{Proceedings}}},
author = {Baaz, Matthias and Preining, Norbert and Zach, Richard},
date = {2006},
eprint = {BAACOA-2},
eprinttype = {philpapers},
pages = {9--14},
publisher = {IEEE Press},
location = {Los Alamitos},
doi = {10.1109/ISMVL.2006.16},
abstract = {All first-order Go\textasciidieresis del logics GV with globalization operator based on truth value sets V {$\subseteq$} [0, 1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni's hypersequent calculus HGIF [10].},
isbn = {978-0-7695-2532-7},
langid = {english},
scholar = {8299238409908186993},
keywords = {chapter},
file = {/home/zach/Documents/bib/Baaz et al. - 2006 - Completeness of a Hypersequent Calculus for Some F.pdf}
}
@article{BaazPreiningZach2007,
title = {First-Order {{G\"odel}} Logics},
author = {Baaz, Matthias and Preining, Norbert and Zach, Richard},
date = {2007-06},
journaltitle = {Annals of Pure and Applied Logic},
volume = {147},
number = {1-2},
eprint = {ZACFGL},
eprinttype = {philpapers},
pages = {23--47},
doi = {10.1016/j.apal.2007.03.001},
abstract = {First-order Go\textasciidieresis del logics are a family of finite- or infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in general determine different Go\textasciidieresis del logics GV (sets of those formulas which evaluate to 1 in every interpretation into V ). It is shown that GV is axiomatizable iff V is finite, V is uncountable with 0 isolated in V , or every neighborhood of 0 in V is uncountable. Complete axiomatizations for each of these cases are given. The r.e. prenex, negation-free, and existential fragments of all first-order Go\textasciidieresis del logics are also characterized.},
langid = {english},
scholar = {2488652346389662158,16722118232164098457},
keywords = {article},
file = {/home/zach/Documents/bib/Baaz et al. - 2007 - First-order Gödel logics.pdf}
}
@article{BaazZach1992,
title = {Note on Calculi for a Three-Valued Logic for Logic Programming},
author = {Baaz, Matthias and Zach, Richard},
date = {1992},
journaltitle = {Bulletin of the EATCS},
volume = {48},
pages = {157--164},
doi = {10.11575/PRISM/39881},
scholar = {14223199149879537104},
keywords = {article},
file = {/home/zach/Documents/bib/Baaz and Zach - 1992 - Note on calculi for a three-valued logic for logic programming.pdf}
}
@incollection{BaazZach1993,
title = {Algorithmic Structuring of Cut-Free Proofs},
booktitle = {Computer {{Science Logic}}. {{CSL}}'92, {{San Miniato}}, {{Italy}}. {{Selected Papers}}},
author = {Baaz, Matthias and Zach, Richard},
editor = {B\"orger, Egon and J\"ager, Gerhard and Kleine B\"uning, Hans and Martini, Simone and Richter, Michael M.},
date = {1993},
series = {{{LNCS}}},
number = {702},
eprint = {BAAASO},
eprinttype = {philpapers},
pages = {29--42},
publisher = {Springer},
location = {Berlin},
doi = {10.1007/3-540-56992-8_4},
scholar = {7909398560834894846},
keywords = {chapter},
file = {/home/zach/Documents/bib/Baaz and Zach - 1993 - Algorithmic structuring of cut-free proofs.pdf}
}
@incollection{BaazZach1994,
title = {Short Proofs of Tautologies Using the Schema of Equivalence},
booktitle = {Computer {{Science Logic}}. 7th {{Workshop}}, {{CSL}} '93, {{Swansea}}. {{Selected Papers}}},
author = {Baaz, Matthias and Zach, Richard},
editor = {B\"orger, Egon and Gurevich, Yuri and Meinke, Karl},
date = {1994},
series = {{{LNCS}}},
number = {832},
eprint = {BAASPO},
eprinttype = {philpapers},
pages = {33--35},
publisher = {Springer},
location = {Berlin},
doi = {10.1007/BFb0049322},
langid = {english},
scholar = {18127037337307420952},
keywords = {chapter},
file = {/home/zach/tex/idschema/Baaz and Zach - 1994 - Short proofs of tautologies using the schema of eq.pdf}
}
@inproceedings{BaazZach1994a,
title = {Approximating Propositional Calculi by Finite-Valued Logics},
booktitle = {24th {{International Symposium}} on {{Multiple-valued Logic}}, 1994. {{Proceedings}}},
author = {Baaz, Matthias and Zach, Richard},
date = {1994},
eprint = {BAAAPC},
eprinttype = {philpapers},
pages = {257--263},
publisher = {IEEE Press},
location = {Los Alamitos},
doi = {10.1109/ISMVL.1994.302193},
scholar = {5535613631669114049},
keywords = {chapter},
file = {/home/zach/Documents/bib/Baaz and Zach - 1994 - Approximating propositional calculi by finite-valued logics.pdf}
}
@article{BaazZach1995,
title = {Generalizing Theorems in Real Closed Fields},
author = {Baaz, Matthias and Zach, Richard},
date = {1995},
journaltitle = {Bulletin of Symbolic Logic},
volume = {1},
pages = {361},
keywords = {abstract}
}
@article{BaazZach1995a,
title = {Generalizing Theorems in Real Closed Fields},
author = {Baaz, Matthias and Zach, Richard},
date = {1995-09},
journaltitle = {Annals of Pure and Applied Logic},
volume = {75},
number = {1--2},
eprint = {BAAGTI},
eprinttype = {philpapers},
pages = {3--23},
doi = {10.1016/0168-0072(94)00054-7},
abstract = {Jan Krajihk posed the following problem: Is there is a generalization result in the theory of real closed fields of the form: If A(1 + ... + 1) (n occurrences of 1) is provable in length k for all n E w, then (Vx)A(x) is provable? It is argued that the answer to this question depends on the particular formulation of the ``theory of real closed fields.'' Four distinct formulations are investigated with respect to their generalization behavior. It is shown that there is a positive answer to KrajiEek's question for (1) the axiom system RCF of Artin-Schreier with Gentzen's LK as underlying logical calculus, (2) RCF with the variant LKBof LK allowing introduction of several quantifiers of the same type in one step, (3) LKBand the first-order schemata corresponding to Dedekind cuts and the supremum principle. A negative answer is given for (4) any system containing the schema of extensionality.},
langid = {english},
scholar = {17723187883943432684},
keywords = {article},
file = {/home/zach/Documents/bib/Baaz and Zach - 1995 - Generalizing theorems in real closed fields.pdf}
}
@article{BaazZach1998,
title = {Note on Generalizing Theorems in Algebraically Closed Fields},
author = {Baaz, Matthias and Zach, Richard},
date = {1998-07-01},
journaltitle = {Archive for Mathematical Logic},
volume = {37},
number = {5--6},
eprint = {BAANOG},
eprinttype = {philpapers},
pages = {297--307},
doi = {10.1007/s001530050100},
abstract = {The generalization properties of algebraically closed fields ACF p of characteristic p {$>$} 0 and ACF 0 of characteristic 0 are investigated in the sequent calculus with blocks of quantifiers. It is shown that ACF p admits finite term bases, and ACF 0 admits term bases with primality constraints. From these results the analogs of Kreisel's Conjecture for these theories follow: If for some k , A(1 + {$\cdot$} {$\cdot$} {$\cdot$} + 1) (n 1's) is provable in k steps, then ({$\forall$}x )A(x ) is provable.},
langid = {english},
scholar = {11978194833734495932},
keywords = {article},
file = {/home/zach/Documents/bib/Baaz and Zach - 1998 - Note on generalizing theorems in algebraically clo.pdf}
}
@inproceedings{BaazZach1998a,
title = {Compact Propositional {{G\"odel}} Logics},
booktitle = {28th {{International Symposium}} on {{Multiple-valued Logic}}. {{May}} 1998, {{Fukuoka}}, {{Japan}}. {{Proceedings}}},
author = {Baaz, Matthias and Zach, Richard},
date = {1998},
eprint = {BAACPG},
eprinttype = {philpapers},
pages = {108--113},
publisher = {IEEE Press},
location = {Los Alamitos},
doi = {10.1109/ISMVL.1998.679315},
scholar = {16570794783513748000,10336034394355109153},
keywords = {chapter},
file = {/home/zach/Documents/bib/Baaz and Zach - 1998 - Compact propositional Gödel logics.pdf}
}
@incollection{BaazZach2000,
title = {Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic},
booktitle = {Computer {{Science Logic}}. 14th {{International Workshop}}, {{CSL}} 2000},
author = {Baaz, Matthias and Zach, Richard},
editor = {Clote, Peter G. and Schwichtenberg, Helmut},
date = {2000},
series = {{{LNCS}}},
number = {1862},
eprint = {BAAHAT},
eprinttype = {philpapers},
pages = {187--201},
publisher = {Springer},
location = {Berlin},
doi = {10.1007/3-540-44622-2_12},
scholar = {15565136993603416204,12081769607991720084},
keywords = {chapter},
file = {/home/zach/Documents/bib/Baaz and Zach - 2000 - Hypersequents and the proof theory of intuitionist.pdf}
}
@incollection{BaazZach2002,
title = {Das Vollst\"andig\-keits\-problem und der Voll\-st\"andigkeits\-beweis},
booktitle = {Kurt G\"odel: Wahrheit und Beweisbarkeit. Volume~2: Kompendium zum Werk},
author = {Baaz, Matthias and Zach, Richard},
editor = {Buldt, Bernd and others},
date = {2002},
pages = {21--27},
publisher = {hpt},
location = {Vienna},
langid = {ngerman},
keywords = {chapter}
}
@incollection{BaazZach2008,
title = {Effective Finite-Valued Approximations of General Propositional Logics},
booktitle = {Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday},
author = {Baaz, Matthias and Zach, Richard},
editor = {Avron, Arnon and Dershowitz, Nachum and Rabinovich, Alexander},
date = {2008},
series = {{{LNCS}}},
number = {4800},
eprint = {BAAEFA},
eprinttype = {philpapers},
pages = {107--129},
publisher = {Springer},
location = {Berlin},
doi = {10.1007/978-3-540-78127-1_7},
scholar = {12188615671867905083},
keywords = {chapter},
file = {/home/zach/Documents/bib/Baaz and Zach - 2008 - Effective finite-valued approximations of general .pdf;/home/zach/tex/approx/Baaz and Zach - 2008 - Effective finite-valued approximations of general .pdf}
}
@article{BaazZach2014,
title = {The Epsilon Calculus and Non-Classical Logics},
author = {Baaz, Matthias and Zach, Richard},
date = {2014},
journaltitle = {Bulletin of Symbolic Logic},
volume = {19},
pages = {513},
keywords = {abstract}
}
@article{BaazZach2022,
title = {Epsilon Theorems in Intermediate Logics},
author = {Baaz, Matthias and Zach, Richard},
date = {2022-06-13},
journaltitle = {The Journal of Symbolic Logic},
volume = {87},
number = {2},
eprint = {BAAETI},
eprinttype = {philpapers},
pages = {682--720},
doi = {10.1017/jsl.2021.103},
langid = {english},
scholar = {1912149887535768464},
keywords = {article,short},
file = {/home/zach/Documents/bib/Baaz and Zach - 2022 - Epsilon theorems in intermediate logics.pdf}
}
@incollection{Bernays2012,
title = {Axiomatic Investigations of the Propositional Calculus of {{{\emph{Principia Mathematica}}}}},
booktitle = {Universal {{Logic}}: {{An Anthology}}},
author = {Bernays, Paul},
editor = {B\'eziau, Jean-Yves},
translator = {Zach, Richard},
date = {2012},
eprint = {BERAIO-6},
eprinttype = {philpapers},
pages = {43--58},
publisher = {Springer},
location = {New York and Basel},
keywords = {translation}
}
@article{BurnsZach2021,
title = {Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics {{K}}, {{T}}, and {{D}}},
author = {Burns, Samara and Zach, Richard},
date = {2021},
journaltitle = {The Review of Symbolic Logic},
volume = {14},
number = {4},
eprint = {BURCCF-2},
eprinttype = {philpapers},
pages = {910--929},
doi = {10.1017/S1755020320000180},
scholar = {13446928064826410332,1571027620853824592},
keywords = {article,short},
file = {/home/zach/Documents/bib/Burns and Zach - 2021 - Cut-free completeness for modular hypersequent calculi for modal logics K, T,.pdf}
}
@incollection{Carnap2019,
title = {On the Task of Physics and the Application of the Principle of Maximal Simplicity},
booktitle = {Rudolf {{Carnap}}: {{Early Writings}}},
author = {Carnap, Rudolf},
translator = {Hafner, Johannes and Mancosu, Paolo and Pincock, Christopher and Treuper, Henning and Wilson, Herbert and Zach, Richard and Carus, A. W. and Friedman, Michael},
date = {2019},
series = {The {{Collected Works}} of {{Rudolf Carnap}}},
number = {1},
pages = {209--245},
publisher = {Oxford University Press},
location = {Oxford},
crossref = {Carnap2019a},
langid = {english},
scholar = {11351203232176123600},
keywords = {translation}
}
@book{Carnap2019a,
title = {Early Writings},
shorttitle = {Rudolf {{Carnap}}},
author = {Carnap, Rudolf},
editor = {Carus, A. W. and Friedman, Michael and Kienzler, Wolfgang and Richardson, Alan and Schlotter, Sven},
namea = {Awodey, Steve and Schlimm, Dirk and Zach, Richard},
nameatype = {collaborator},
date = {2019-06-25},
series = {The {{Collected Works}} of {{Rudolf Carnap}}},
number = {1},
eprint = {2CaeDwAAQBAJ},
eprinttype = {googlebooks},
publisher = {Oxford University Press},
location = {Oxford},
abstract = {Rudolf Carnap (1891-1970) is generally acknowledged to have been one of the central figures of twentieth-century philosophy. He was the leading philosopher of the Vienna Circle, a group that was central to the international movement known as logical empiricism, which pursued the goal of making philosophy scientific and eliminating metaphysics that went beyond the limits of what humans can coherently comprehend. Carnap was not only well-versed in this area of thought but also contrary ideas; he interacted philosophically with Gottlob Frege, Bertrand Russell, Ludwig Wittgenstein, Edmund Husserl, and Martin Heidegger, and in his formative years he was influenced by the positivists Mach and Ostwald, neo-Kantians such as Cassirer and Natorp, and Husserl's phenomenology. Interest in logical empiricism waned in the decades following Carnap's death but was revived towards the end of the twentieth century; the wave of new scholarship that resulted identified Carnap as far more subtle and interesting than was previously understood. The complete fourteen-volume edition of Carnap's published writings builds upon these more recent interpretations of his philosophy. This first book contains Carnap's early publications up until 1928, none of which have previously been translated from their original German. The introduction and notes place the text in the relevant scientific and historical contexts, in addition to explaining obscure references or outdated notation and terminology. Carnap's neo-Kantian origins are more obvious in these works than in his later writings, and the overall figure which emerges from this volume is a very different Carnap to the caricature that many philosophers will know.},
isbn = {978-0-19-106526-2},
langid = {english},
pagetotal = {516},
scholar = {970586148558157802},
keywords = {edition,Philosophy / History \& Surveys / Modern,Philosophy / Movements / Analytic},
note = {With editorial assistance by Steve Awodey, Dirk Schlimm, and Richard Zach},
file = {/home/zach/Documents/bib/Carus et al - 2019 - Early writings.pdf}
}
@book{Carnap2024,
title = {Studies in Semantics},
shorttitle = {Rudolf {{Carnap}}},
author = {Carnap, Rudolf},
editor = {Awodey, Steve and Frost-Arnold, Greg},
namea = {Zach, Richard},
nameatype = {collaborator},
date = {2024},
series = {The {{Collected Works}} of {{Rudolf Carnap}}},
number = {7},
eprint = {flz8EAAAQBAJ},
eprinttype = {googlebooks},
publisher = {Oxford University Press},
location = {Oxford},
abstract = {Rudolf Carnap (1891-1970) is generally acknowledged to have been one of the central figures of twentieth-century philosophy. He was the leading philosopher of the Vienna Circle, a group that was central to the international movement known as logical empiricism, which pursued the goal of making philosophy scientific and eliminating metaphysics that went beyond the limits of what humans can coherently comprehend. Carnap was not only well-versed in this area of thought but also contrary ideas; he interacted philosophically with Gottlob Frege, Bertrand Russell, Ludwig Wittgenstein, Edmund Husserl, and Martin Heidegger, and in his formative years he was influenced by the positivists Mach and Ostwald, neo-Kantians such as Cassirer and Natorp, and Husserl's phenomenology. Interest in logical empiricism waned in the decades following Carnap's death but was revived towards the end of the twentieth century; the wave of new scholarship that resulted identified Carnap as far more subtle and interesting than was previously understood. The complete fourteen-volume edition of Carnap's published writings builds upon these more recent interpretations of his philosophy. This first book contains Carnap's early publications up until 1928, none of which have previously been translated from their original German. The introduction and notes place the text in the relevant scientific and historical contexts, in addition to explaining obscure references or outdated notation and terminology. Carnap's neo-Kantian origins are more obvious in these works than in his later writings, and the overall figure which emerges from this volume is a very different Carnap to the caricature that many philosophers will know.},
langid = {english},
keywords = {edition,Philosophy / History \& Surveys / Modern,Philosophy / Movements / Analytic},
note = {With editorial assistance by Richard Zach}
}
@incollection{CarnapHahnNeurath2012,
title = {The Scientific World-Conception: {{The Vienna Circle}}},
booktitle = {Wissenschaftliche {{Weltauffassung}}: {{Der Wiener Kreis}}},
author = {Carnap, Rudolf and Hahn, Hans and Neurath, Otto},
editor = {Stadler, Friedrich and Uebel, Thomas},
translator = {Uebel, Thomas and Zach, Richard},
date = {2012},
pages = {75--116},
publisher = {Springer},
location = {Vienna and New York},
scholar = {1018406602556126081},
keywords = {translation}
}
@article{Eiter2016,
title = {Helmut {{Veith}} (1971--2016)},
author = {Eiter, Thomas},
translator = {Zach, Richard},
date = {2016},
journaltitle = {Bulletin of the EATCS},
volume = {119},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/405},
keywords = {translation}
}
@article{ElkindZach2021,
title = {The Genealogy of {$\vee$}},
author = {Elkind, Landon D. C. and Zach, Richard},
date = {2021},
journaltitle = {The Bulletin of Symbolic Logic},
volume = {27},
number = {3},
pages = {327--328},
doi = {10.1017/bsl.2021.50},
langid = {english},
keywords = {abstract},
file = {/home/zach/Documents/bib/Elkind and Zach - 2021 - The genealogy of ∨.pdf}
}
@article{ElkindZach2023,
title = {The Genealogy of `{$\vee$}'},
author = {Elkind, Landon D. C. and Zach, Richard},
date = {2023},
journaltitle = {The Review of Symbolic Logic},
volume = {16},
number = {3},
eprint = {ZACTGO-2},
eprinttype = {philpapers},
pages = {862--899},
doi = {10.1017/S1755020321000587},
langid = {english},
scholar = {6390139438045593841,13231283573301597206},
keywords = {article,short},
file = {/home/zach/Documents/bib/Elkind and Zach - 2022 - The genealogy of ‘∨’.pdf;/home/zach/Documents/bib/Elkind and Zach - 2023 - The genealogy of ‘∨’.pdf}
}
@software{EtchemendyBarker-PlummerZach2013,
title = {The Lplfitch Package},
author = {Etchemendy, John and Barker-Plummer, Dave and Zach, Richard},
date = {2013},
url = {https://ctan.org/pkg/lplfitch},
organization = {CTAN Comprehensive TeX Archive Network},
version = {0.9},
keywords = {other}
}
@inproceedings{FermullerMoserZach2001,
title = {Tableaux for Reasoning about Atomic Updates},
booktitle = {Logic for {{Programming}}, {{Artificial Intelligence}}, and {{Reasoning}}},
author = {Ferm\"uller, Christian G. and Moser, Georg and Zach, Richard},
editor = {Nieuwenhuis, Robert and Voronkov, Andrei},
date = {2001},
series = {{{LNCS}}},
number = {2250},
pages = {639--653},
publisher = {Springer},
location = {Berlin},
doi = {10.1007/3-540-45653-8_44},
scholar = {12962737245327383857},
keywords = {chapter},
file = {/home/zach/Documents/bib/Fermüller et al - 2001 - Tableaux for reasoning about atomic updates.pdf}
}
@software{GilSalzerZach2023,
title = {{{MUltseq}}},
author = {Gil, \'Angel and Salzer, Gernot and Zach, Richard},
date = {2024-07-02},
url = {https://github.com/rzach/multlseq},
version = {2.0}
}
@inproceedings{GilSalzerZach2024,
title = {{{MUltseq}} 2.0: {{A}} General Purpose Finite-Valued Prover},
author = {Gil, \'Angel and Salzer, Gernot and Zach, Richard},
date = {2024-07-03},
location = {Barcelona},
url = {https://iiia.csic.es/tacl2024/abstracts/conference/contributed/TACL_2024_paper_96.pdf},
eventtitle = {Topology, {{Algebra}}, and {{Category Theory TACL}} 2024},
langid = {english},
keywords = {abstract},
file = {/home/zach/Documents/bib/Gil et al. - 2024 - MUltseq 2.0 A general purpose finite-valued prover.pdf}
}
@article{HajekZach1994,
title = {Review of {{{\emph{Many-valued Logics}}}}{\emph{: 1.~}}{{{\emph{Theoretical Foundations}}}}, by {{Leonard Bolc}} and {{Piotr Borowik}} ({{Springer}}, {{Berlin}}, 1991)},
author = {H\'ajek, Petr and Zach, Richard},
date = {1994},
journaltitle = {Journal of Applied Non-Classical Logics},
volume = {4},
pages = {215--220},
doi = {10.1080/11663081.1994.10510833},
scholar = {3856327987026643479,16319455258715871656,6262318244479206881},
keywords = {review}
}
@article{HosniZach2018,
title = {Interview with {{Richard Zach}}},
author = {Hosni, Hykel and Zach, Richard},
date = {2018},
journaltitle = {The Reasoner},
volume = {12},
number = {4},
pages = {26--28},
url = {https://blogs.kent.ac.uk/thereasoner/files/2015/01/TheReasoner-124.pdf},
keywords = {other},
file = {/home/zach/Documents/bib/Hosni and Zach - 2018 - Interview with Richard Zach.pdf}
}
@book{MagnusButtonLoftisThomas-BolducEtAl2019,
title = {Forall {\emph{x}}: {{Calgary}}. {{An}} Introduction to Formal Logic},
author = {Magnus, P. D. and Button, Tim and Loftis, J. Robert and Thomas-Bolduc, Aaron and Trueman, Robert and Zach, Richard},
date = {2021},
edition = {F21},
publisher = {Open Logic Project},
location = {Calgary},
url = {https://forallx.openlogicproject.org/},
scholar = {11671088066955707283},
keywords = {textbook},
file = {/home/zach/Documents/bib/Magnus et al - 2021 - forall ix-i - Calgary. An introduction to formal logic.pdf}
}
@book{MagnusButtonLoftisThomas-BolducEtAl2021,
title = {Forall {\emph{x}}: {{Dortmund}}. {{Eine Einf\"uhrung}} in Die Formale {{Logik}}},
author = {Magnus, P. D. and Button, Tim and Loftis, J. Robert and Thomas-Bolduc, Aaron and Trueman, Robert and Zach, Richard},
translator = {{Wimmer, Simon}},
date = {2021},
publisher = {Open Logic Project},
location = {Dortmund},
url = {https://tu-dortmund.sciebo.de/s/PAZYaqD7Nekt8LC},
keywords = {textbook},
file = {/home/zach/Documents/bib/Magnus et al - 2021 - forall ix-i - Dortmund. Eine Einführung in die formale Logik.pdf}
}
@book{MagnusButtonLoftisThomas-BolducEtAl2021a,
title = {Para Tod\emph{x}s Natal. Uma introdu\c c\~ao \`a l\'ogica formal},
author = {Magnus, P. D. and Button, Tim and Loftis, J. Robert and Thomas-Bolduc, Aaron and Trueman, Robert and Zach, Richard},
translator = {{Daniel Durante} and {Maria da Paz Nunes de Medeiros} and {Ricardo Gentil de Ara\'ujo Pereira}},
date = {2021},
publisher = {Universidade Federal do Rio Grande do Norte},
location = {Natal},
url = {https://github.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal},
langid = {portuguese},
keywords = {textbook},
file = {/home/zach/Documents/bib/Magnus et al - 2021 - Para Todix-is Natal. Uma introdução à lógica formal.pdf}
}
@book{MancosuGalvanZach2021,
title = {An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs},
author = {Mancosu, Paolo and Galvan, Sergio and Zach, Richard},
date = {2021},
publisher = {Oxford University Press},
location = {Oxford},
doi = {10.1093/oso/9780192895936.001.0001},
scholar = {7516380201479157719},
keywords = {short,textbook},
file = {/home/zach/Documents/bib/Mancosu et al - 2021 - An introduction to proof theory - normalization, cut-elimination, and.pdf}
}
@book{MancosuGalvanZach2022,
ids = {MancosuGalvanZach2022a},
title = {Introduction \`a la th\'eorie de la d\'emonstration: \'Elimination des coupures, normalisation et preuves de coh\'erence},
author = {Mancosu, Paolo and Galvan, Sergio and Zach, Richard},
date = {2022},
publisher = {Vrin},
location = {Paris},
isbn = {978-2-7116-3091-2},
langid = {french},
pagetotal = {588},
keywords = {textbook},
file = {/home/zach/tex/tdlivre/Mancosu et al. - 2022 - Introduction à la théorie de la démonstration Éli.pdf}
}
@article{MancosuZach2015,
title = {Heinrich {{Behmann}}'s 1921 Lecture on the Decision Problem and the Algebra of Logic},
author = {Mancosu, Paolo and Zach, Richard},
date = {2015-06},
journaltitle = {Bulletin of Symbolic Logic},
volume = {21},
number = {2},
eprint = {ZACHB},
eprinttype = {philpapers},
pages = {164--187},
issn = {1079-8986, 1943-5894},
doi = {10.1017/bsl.2015.10},
abstract = {Heinrich Behmann (1891--1970) obtained his Habilitation under David Hilbert in Go\textasciidieresis{} ttingen in 1921 with a thesis on the decision problem. In his thesis, he solved---independently of Lo\textasciidieresis{} wenheim and Skolem's earlier work---the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Go\textasciidieresis{} ttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included.},
langid = {english},
scholar = {2784135096858806847,14902288454561720452},
keywords = {article},
file = {/home/zach/Documents/bib/Mancosu and Zach - 2015 - Heinrich Behmann's 1921 lecture on the algebra of .pdf}
}
@incollection{MancosuZach2019,
title = {Note introductive \`a Heinrich Behmann, ``Probl\`eme de la d\'ecision et Algebre de la Logique'' (1921)},
booktitle = {Anthologie de la calculabilit\'e: Naissance et d\'eveloppements de la th\'eorie de la calculabilit\'e des ann\'ees 1920 \`a 1970},
author = {Mancosu, Paolo and Zach, Richard},
editor = {Mosconi, Jean and Bourdeau, Michel},
date = {2022},
series = {Nouvelle biblioth\`eque math\'ematique},
number = {15},
pages = {108--115},
publisher = {Cassini},
location = {Paris},
langid = {french},
keywords = {chapter}
}
@incollection{MancosuZach2024,
title = {Some Unpublished Letters by {{G\"odel}} and von {{Neumann}} in the {{Fraenkel}} Archive},
booktitle = {Festschrift for {{Volker Peckhaus}}},
author = {Mancosu, Paolo and Zach, Richard},
date = {2024},
eprint = {2301.09814},
eprinttype = {arxiv},
pages = {1--42},
publisher = {College Publications},
location = {London},
langid = {english},
scholar = {11142929975047383986},
keywords = {chapter,short},
note = {Forthcoming},
file = {/home/zach/Documents/bib/Mancosu and Zach - 2023 - Some unpublished letters by Gödel and von Neumann in the Fraenkel archive.pdf}
}
@incollection{MancosuZachBadesa2009,
title = {The Development of Mathematical Logic from {{Russell}} to {{Tarski}}: 1900--1935},
booktitle = {The {{Development}} of {{Modern Logic}}},
author = {Mancosu, Paolo and Zach, Richard and Badesa, Calixto},
editor = {Haaparanta, Leila},
date = {2009},
eprint = {MANTDO-2},
eprinttype = {philpapers},
pages = {324--478},
publisher = {Oxford University Press},
location = {New York and Oxford},
doi = {10.1093/acprof:oso/9780195137316.003.0029},
scholar = {1143733837172903405,3867834122282040128},
keywords = {chapter},
annotation = {Reprinted in Paolo Mancosu, \emph{The Adventure of Reason. Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900--1940}. Oxford: Oxford University Press, 2010},
file = {/home/zach/Documents/bib/Mancosu et al. - 2009 - The development of mathematical logic from Russell.pdf}
}
@incollection{MoserZach2003,
title = {The Epsilon Calculus},
booktitle = {Kurt {{G\"odel Colloquium}}. {{Computer Science Logic}}, 2003. {{Proceedings}}},
author = {Moser, Georg and Zach, Richard},
date = {2003},
pages = {455},
publisher = {Springer},
location = {Berlin},
keywords = {abstract}
}
@article{MoserZach2006,
title = {The Epsilon Calculus and {{Herbrand}} Complexity},
author = {Moser, Georg and Zach, Richard},
date = {2006-02},
journaltitle = {Studia Logica},
volume = {82},
number = {1},
eprint = {MOSTEC-3},
eprinttype = {philpapers},
pages = {133--155},
issn = {0039-3215, 1572-8730},
doi = {10.1007/s11225-006-6610-7},
abstract = {Hilbert's {$\varepsilon$}-calculus is based on an extension of the language of predicate logic by a term-forming operator {$\varepsilon$}x. Two fundamental results about the {$\varepsilon$}-calculus, the first and second epsilon theorem, play a r\textasciicircum ole similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.},
langid = {english},
scholar = {11126437231550653564,15519479678456966453},
keywords = {article},
file = {/home/zach/Documents/bib/Moser and Zach - 2006 - The Epsilon Calculus and Herbrand Complexity.pdf}
}
@article{MoserZach2006a,
title = {Complexity of Elimination Procedures in the Epsilon Calculus},
author = {Moser, Georg and Zach, Richard},
date = {2006},
journaltitle = {Bulletin of Symbolic Logic},
volume = {12},
pages = {341--342},
keywords = {abstract}
}
@software{SalzerKatzenbeisserStefanKralAndreasLeitgebEtAl2022,
title = {{{MUltlog}}},
author = {Salzer, Gernot and Katzenbeisser, Stefan and {Stefan Kral} and {Andreas Leitgeb} and {Richard Zach}},
date = {2023-07-03},
doi = {10.5281/zenodo.6893267},
url = {https://github.com/rzach/multlog},
version = {1.17},
file = {/home/zach/Documents/bib/Salzer et al - 2022 - MUltlog.pdf}
}
@article{SchiemerZachReck2017,
title = {Carnap's Early Metatheory: Scope and Limits},
shorttitle = {Carnap's Early Metatheory},
author = {Schiemer, Georg and Zach, Richard and Reck, Erich},
date = {2017-01-01},
journaltitle = {Synthese},
shortjournal = {Synthese},
volume = {194},
number = {1},
eprint = {SCHCEM-3},
eprinttype = {philpapers},
pages = {33--65},
doi = {10.1007/s11229-015-0877-z},
abstract = {In Untersuchungen zur allgemeinen Axiomatik (1928) and Abriss der Logistik (1929), Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap's attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap's contributions to the development of modern logic.},
langid = {english},
scholar = {11895416465215659052},
keywords = {article,short},
file = {/home/zach/Documents/bib/Schiemer et al. - 2017 - Carnap’s early metatheory scope and limits.pdf}
}
@software{SelingerZach2023,
title = {Fitch -- {{LaTeX}} Macros for {{Fitch-style}} Natural Deduction},
author = {Selinger, Peter and Zach, Richard},
date = {2023},
url = {https://ctan.org/pkg/fitch},
organization = {CTAN Comprehensive TeX Archive Network},
version = {1.0},
keywords = {other}
}
@article{SerchukHargreavesZach2011,
title = {Vagueness, Logic and Use: Four Experimental Studies on Vagueness},
shorttitle = {Vagueness, {{Logic}} and {{Use}}},
author = {Serchuk, Phil and Hargreaves, Ian and Zach, Richard},
date = {2011-11},
journaltitle = {Mind and Language},
volume = {26},
number = {5},
eprint = {SERVLA},
eprinttype = {philpapers},
pages = {540--573},
doi = {10.1111/j.1468-0017.2011.01430.x},
abstract = {Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse `P' with `definitely P', the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation.},
langid = {english},
scholar = {5140734606960703022},
keywords = {article},
file = {/home/zach/Documents/bib/Serchuk et al. - 2011 - Vagueness, logic and use four experimental studie.pdf;/home/zach/Documents/bib/Serchuk et al. - 2011 - Vagueness, logic and use four experimental studie2.pdf}
}
@inproceedings{Thomas-BolducZach2017,
title = {Logic Courses for the 21st Century},
author = {Thomas-Bolduc, Aaron and Zach, Richard},
date = {2017-10},
eprint = {THOEOA-7},
eprinttype = {philpapers},
url = {https://openlogicproject.org/wp-content/uploads/2017/10/issotl-poster.pdf},
eventtitle = {International {{Society}} for the {{Study}} of {{Teaching}} and {{Learning}} 2017 {{Annual Meeting}}},
venue = {Calgary},
keywords = {other},
annotation = {Poster Presentation},
file = {/home/zach/Documents/bib/Thomas-Bolduc and Zach - 2017 - Logic courses for the 21st century.pdf}
}
@audio{Thomas-BolducZach2018,
title = {{{OER}}: {{What}}, Why, When and How},
author = {Thomas-Bolduc, Aaron and Zach, Richard},
date = {2018},
publisher = {{Taylor Institute for Teaching and Learning}},
location = {Calgary},
url = {https://darcynorman.net/podcasts/TILT-002-IntroToOER.mp3},
langid = {english},
keywords = {other},
annotation = {Podcast}
}
@article{WyattZach2018,
title = {The {{Open Logic Project}}},
author = {Wyatt, Nicole and Zach, Richard},
date = {2018},
journaltitle = {Bulletin of Symbolic Logic},
volume = {24},
number = {2},
pages = {205},
keywords = {abstract}
}
@thesis{Zach1993,
type = {Diplomarbeit},
title = {Proof Theory of Finite-Valued Logics},
author = {Zach, Richard},
date = {1993},
institution = {Technische Universit\"at Wien},
location = {Vienna, Austria},
doi = {10.11575/PRISM/38803},
scholar = {9133519663533066510,10148053650071006680},
keywords = {thesis},
file = {/home/zach/Documents/bib/Zach - 1993 - Proof theory of finite-valued logics.pdf}
}
@article{Zach1998,
title = {Numbers and Functions in {{Hilbert}}'s Finitism},
author = {Zach, Richard},
date = {1998},
journaltitle = {Taiwanese Journal for Philosophy and History of Science},
volume = {10},
eprint = {ZACNAF},
eprinttype = {philpapers},
pages = {33--60},
scholar = {2921933553010301318},
keywords = {article}
}
@article{Zach1999,
title = {Completeness before {{Post}}: {{Bernays}}, {{Hilbert}}, and the Development of Propositional Logic},
author = {Zach, Richard},
date = {1999},
journaltitle = {The Bulletin of Symbolic Logic},