Suchergebnisse - Zach, Richard

1

Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC von Zach, Richard

Veröffentlicht in The Australasian journal of logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Corrections to: Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective) von Zach, Richard

Veröffentlicht in Journal of philosophical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

HEINRICH BEHMANN'S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC von MANCOSU, PAOLO, ZACH, RICHARD

Veröffentlicht in The bulletin of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI von ZACH, RICHARD

Veröffentlicht in The review of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Rumfitt on truth-grounds, negation, and vagueness von Zach, Richard

Veröffentlicht in Philosophical studies

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

EPSILON THEOREMS IN INTERMEDIATE LOGICS von BAAZ, MATTHIAS, ZACH, RICHARD

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

2017 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Seattle Seattle, Washington, USA April 12–13, 2017 von Zach, Richard

Veröffentlicht in The bulletin of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D von BURNS, SAMARA, ZACH, RICHARD

Veröffentlicht in The review of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program von Zach, Richard

Veröffentlicht in Synthese (Dordrecht)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective) von Zach, Richard

Veröffentlicht in Journal of philosophical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

$THE GENEALOGY OF ‘ $\mathbin {\boldsymbol {\vee }}$ ’$

THE GENEALOGY OF ‘ $\mathbin {\boldsymbol {\vee }}$ ’ von ELKIND, LANDON D. C., ZACH, RICHARD

Veröffentlicht in The review of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

THE GENEALOGY OF ‘’ von ELKIND, LANDON D. C., ZACH, RICHARD

Veröffentlicht in The review of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic von Zach, Richard

Veröffentlicht in The bulletin of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Logic in Mathematics and Computer Science von Zach, Richard

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Semantics and Proof Theory of the Epsilon Calculus von Zach, Richard

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Carnap's early metatheory: scope and limits von Schiemer, Georg, Zach, Richard, Reck, Erich

Veröffentlicht in Synthese (Dordrecht)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Vagueness, Logic and Use: Four Experimental Studies on Vagueness von SERCHUK, PHIL, HARGREAVES, IAN, ZACH, RICHARD

Veröffentlicht in Mind & language

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Kurt Gödel and Computability Theory von Zach, Richard

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

An Epimorphism between Fine and Ferguson's Matrices for Angell's AC von Zach, Richard

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi von Zach, Richard

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[33]

Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC von Zach, Richard

Corrections to: Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective) von Zach, Richard

HEINRICH BEHMANN'S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC von MANCOSU, PAOLO, ZACH, RICHARD

CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI von ZACH, RICHARD

Rumfitt on truth-grounds, negation, and vagueness von Zach, Richard

EPSILON THEOREMS IN INTERMEDIATE LOGICS von BAAZ, MATTHIAS, ZACH, RICHARD

2017 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Seattle Seattle, Washington, USA April 12–13, 2017 von Zach, Richard

CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D von BURNS, SAMARA, ZACH, RICHARD

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program von Zach, Richard

Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective) von Zach, Richard

THE GENEALOGY OF ‘ $\mathbin {\boldsymbol {\vee }}$ ’ von ELKIND, LANDON D. C., ZACH, RICHARD

THE GENEALOGY OF ‘’ von ELKIND, LANDON D. C., ZACH, RICHARD

Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic von Zach, Richard

Logic in Mathematics and Computer Science von Zach, Richard

Semantics and Proof Theory of the Epsilon Calculus von Zach, Richard

Carnap's early metatheory: scope and limits von Schiemer, Georg, Zach, Richard, Reck, Erich

Vagueness, Logic and Use: Four Experimental Studies on Vagueness von SERCHUK, PHIL, HARGREAVES, IAN, ZACH, RICHARD

Kurt Gödel and Computability Theory von Zach, Richard

An Epimorphism between Fine and Ferguson's Matrices for Angell's AC von Zach, Richard

Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi von Zach, Richard

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle