E-LIB Suche - Ergebnisse für: Baaz, Matthias

1

90 years of Gödel's incompleteness theorems: Logic and comp..:

Baaz, Matthias ; Ertel, Marcel ; Kahle, Reinhard..
Journal of Logic and Computation. , 2024

Link: https://doi.org/10.1093/..

2

Effective Skolemization:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Baaz, Matthias ; Lolić, Anela - p. 69-82 , 2023

Link: https://doi.org/10.1007/..

3

Towards a proof theory for quantifier macros:

Baaz, Matthias ; Lolic, Anela
Information and Computation. 287 (2022) - p. 104753 , 2022

Link: https://doi.org/10.1016/..

4

EPSILON THEOREMS IN INTERMEDIATE LOGICS:

BAAZ, MATTHIAS ; ZACH, RICHARD
The Journal of Symbolic Logic. 87 (2022) 2 - p. 682-720 , 2022

Link: https://doi.org/10.1017/..

5

Andrews Skolemization May Shorten Resolution Proofs Non-ele..:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,

Baaz, Matthias ; Lolic, Anela - p. 9-24 , 2021

Link: https://doi.org/10.1007/..

6

Towards a proof theory for Henkin quantifiers:

Baaz, Matthias ; Lolic, Anela
Journal of Logic and Computation. 31 (2021) 1 - p. 40-66 , 2021

Link: https://doi.org/10.1093/..

7

An abstract form of the first epsilon theorem:

Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela
Journal of Logic and Computation. 30 (2020) 8 - p. 1447-1468 , 2020

Link: https://doi.org/10.1093/..

8

First-order interpolation derived from propositional interp..:

Baaz, Matthias ; Lolic, Anela
Theoretical Computer Science. 837 (2020) - p. 209-222 , 2020

Link: https://doi.org/10.1016/..

9

A Globally Sound Analytic Calculus for Henkin Quantifiers:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,

Baaz, Matthias ; Lolic, Anela - p. 128-143 , 2019

Link: https://doi.org/10.1007/..

10

UNSOUND INFERENCES MAKE PROOFS SHORTER:

AGUILERA, JUAN P. ; BAAZ, MATTHIAS
The Journal of Symbolic Logic. 84 (2019) 1 - p. 102-122 , 2019

Link: https://doi.org/10.1017/..

11

Note on the Benefit of Proof Representations by Name:

, In: Mathesis Universalis, Computability and Proof; Synthese Library,

Baaz, Matthias - p. 37-45 , 2019

Link: https://doi.org/10.1007/..

12

On the classification of first order Gödel logics:

Baaz, Matthias ; Preining, Norbert
Annals of Pure and Applied Logic. 170 (2019) 1 - p. 36-57 , 2019

Link: https://doi.org/10.1016/..

13

UNSOUND INFERENCES MAKE PROOFS SHORTER:

AGUILERA, JUAN P. ; BAAZ, MATTHIAS
The Journal of Symbolic Logic. 84 (2019) 1 - p. 102-122 , 2019

Link: https://www.jstor.org/st..

14

Note on Globally Sound Analytic Calculi for Quantifier Macr..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Baaz, Matthias ; Lolic, Anela - p. 486-497 , 2019

Link: https://doi.org/10.1007/..

15

Skolemization in intermediate logics with the finite model ..:

Baaz, Matthias ; Iemhoff, Rosalie
Logic Journal of IGPL. 24 (2016) 3 - p. 224-237 , 2016

Link: https://doi.org/10.1093/..