Suchergebnisse - Baaz, Matthias

1

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings von Baaz, Matthias, Voronkov, Andrei

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Towards a proof theory for quantifier macros von Baaz, Matthias, Lolic, Anela

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

First-order interpolation derived from propositional interpolation von Baaz, Matthias, Lolic, Anela

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

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:
5

Towards a proof theory for Henkin quantifiers von Baaz, Matthias, Lolic, Anela

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

UNSOUND INFERENCES MAKE PROOFS SHORTER von AGUILERA, JUAN P., BAAZ, MATTHIAS

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

On the classification of first order Gödel logics von Baaz, Matthias, Preining, Norbert

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Pr... von Baaz, Matthias, Makowsky, Johann M

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

An abstract form of the first epsilon theorem von Baaz, Matthias, Leitsch, Alexander, Lolic, Anela

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

$Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability$

Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability von Baaz, Matthias, Ciabattoni, Agata, Fermüller, Christian G

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

90 years of Gödel’s incompleteness theorems: Logic and computation von Baaz, Matthias, Ertel, Marcel, Kahle, Reinhard, Piecha, Thomas, von Plato, Jan

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Proof theory of witnessed Gödel logic: A negative result von Baaz, Matthias, Ciabattoni, Agata

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Gödel logics with monotone operators von Baaz, Matthias, Fasching, Oliver

Veröffentlicht in Fuzzy sets and systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Ten problems in Gödel logic von Aguilera, J. P, Baaz, Matthias

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Foreword von Baaz, Matthias

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Skolemization in intermediate logics with the finite model property von Baaz, Matthias, Iemhoff, Rosalie

Veröffentlicht in Logic journal of the IGPL

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Andrews Skolemization May Shorten Resolution Proofs Non-elementarily von Baaz, Matthias, Lolic, Anela

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Methods of Cut-Elimination von Baaz, Matthias

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Finite-valued Semantics for Canonical Labelled Calculi von Baaz, Matthias, Lahav, Ori, Zamansky, Anna

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

A Globally Sound Analytic Calculus for Henkin Quantifiers von Baaz, Matthias, Lolic, Anela

Volltext
Buchkapitel

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
[13]

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings von Baaz, Matthias, Voronkov, Andrei

Towards a proof theory for quantifier macros von Baaz, Matthias, Lolic, Anela

First-order interpolation derived from propositional interpolation von Baaz, Matthias, Lolic, Anela

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

Towards a proof theory for Henkin quantifiers von Baaz, Matthias, Lolic, Anela

UNSOUND INFERENCES MAKE PROOFS SHORTER von AGUILERA, JUAN P., BAAZ, MATTHIAS

On the classification of first order Gödel logics von Baaz, Matthias, Preining, Norbert

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Pr... von Baaz, Matthias, Makowsky, Johann M

An abstract form of the first epsilon theorem von Baaz, Matthias, Leitsch, Alexander, Lolic, Anela

Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability von Baaz, Matthias, Ciabattoni, Agata, Fermüller, Christian G

90 years of Gödel’s incompleteness theorems: Logic and computation von Baaz, Matthias, Ertel, Marcel, Kahle, Reinhard, Piecha, Thomas, von Plato, Jan

Proof theory of witnessed Gödel logic: A negative result von Baaz, Matthias, Ciabattoni, Agata

Gödel logics with monotone operators von Baaz, Matthias, Fasching, Oliver

Ten problems in Gödel logic von Aguilera, J. P, Baaz, Matthias

Foreword von Baaz, Matthias

Skolemization in intermediate logics with the finite model property von Baaz, Matthias, Iemhoff, Rosalie

Andrews Skolemization May Shorten Resolution Proofs Non-elementarily von Baaz, Matthias, Lolic, Anela

Methods of Cut-Elimination von Baaz, Matthias

Finite-valued Semantics for Canonical Labelled Calculi von Baaz, Matthias, Lahav, Ori, Zamansky, Anna

A Globally Sound Analytic Calculus for Henkin Quantifiers von Baaz, Matthias, Lolic, Anela

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle