×

zbMATH — the first resource for mathematics

Baaz, Matthias

Compute Distance To:
Author ID: baaz.matthias Recent zbMATH articles by "Baaz, Matthias"
Published as: Baaz, Matthias; Baaz, M.
External Links: MGP · ORCID
Documents Indexed: 130 Publications since 1985, including 7 Books

Publications by Year

Citations contained in zbMATH Open

87 Publications have been cited 531 times in 304 Documents Cited by Year
Infinite-valued Gödel logics with 0-1-projections and relativizations. Zbl 0862.03015
Baaz, Matthias
61
1996
On Skolemization and proof complexity. Zbl 0815.03003
Baaz, Matthias; Leitsch, Alexander
23
1994
Hypersequent calculi for Gödel logics – a survey. Zbl 1051.03046
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
23
2003
Cut-elimination and redundancy-elimination by resolution. Zbl 0976.03059
Baaz, Matthias; Leitsch, Alexander
20
2000
First-order Gödel logics. Zbl 1146.03010
Baaz, Matthias; Preining, Norbert; Zach, Richard
20
2007
Resolution-based theorem proving for many-valued logics. Zbl 0839.68091
Baaz, Matthias; Fermüller, Christian G.
18
1995
Interpolation in fuzzy logic. Zbl 0936.03026
Baaz, Matthias; Veith, Helmut
16
1999
Hypersequents and the proof theory of intuitionistic fuzzy logic. Zbl 0973.03029
Baaz, Matthias; Zach, Richard
14
2000
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
14
2002
Cut normal forms and proof complexity. Zbl 0940.03062
Baaz, Matthias; Leitsch, Alexander
13
1999
Normal form transformations. Zbl 1005.03013
Baaz, Matthias; Egly, Uwe; Leitsch, Alexander
13
2001
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving. Zbl 1275.03098
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
13
2001
Automated deduction for many-valued logics. Zbl 0992.03015
Baaz, Matthias; Fermüller, Christian G.; Salzer, Gernot
12
2001
Labeled calculi and finite-valued logics. Zbl 0963.03039
Baaz, Matthias; Fermüller, Christian G.; Salzer, Gernot; Zach, Richard
12
1998
Elimination of cuts in first-order finite-valued logics. Zbl 0821.03013
Baaz, Matthias; Fermüller, Christian G.; Zach, Richard
11
1993
Analytic calculi for monoidal t-norm based logic. Zbl 1057.03019
Baaz, Matthias; Ciabattoni, Agata; Montagna, Franco
10
2004
Cut-elimination: experiments with CERES. Zbl 1108.03305
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
9
2005
Monadic fragments of Gödel logics: Decidability and undecidability results. Zbl 1138.03025
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
9
2007
CERES: An analysis of Fürstenberg’s proof of the infinity of primes. Zbl 1181.68264
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
9
2008
Herbrand’s theorem, Skolemization and proof systems for first-order Łukasiewicz logic. Zbl 1188.03014
Baaz, Matthias; Metcalfe, George
8
2010
The Skolemization of existential quantifiers in intuitionistic logic. Zbl 1106.03004
Baaz, Matthias; Iemhoff, Rosalie
8
2006
Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029
Baaz, Matthias; Fermüller, Christian G.; Zach, Richard
7
1993
Algorithmic structuring of cut-free proofs. Zbl 0794.03076
Baaz, Matthias; Zach, Richard
7
1993
Towards a clausal analysis of cut-elimination. Zbl 1125.03013
Baaz, Matthias; Leitsch, Alexander
7
2006
Methods of cut-elimination. Zbl 1225.03075
Baaz, Matthias; Leitsch, Alexander
7
2011
A Schütte-Tait style cut-elimination proof for first-order Gödel logic. Zbl 1015.03052
Baaz, Matthias; Ciabattoni, Agata
7
2002
Resolution for many-valued logics. Zbl 0920.03019
Baaz, Matthias; Fermüller, Christian G.
6
1992
Analytic calculi for projective logics. Zbl 0931.03066
Baaz, Matthias; Fermüller, Christian G.
6
1999
Complexity of resolution proofs and function introduction. Zbl 0769.03009
Baaz, Matthias; Leitsch, Alexander
5
1992
Generalizing theorems in real closed fields. Zbl 0829.03033
Baaz, Matthias; Zach, Richard
5
1995
Finite-valued semantics for canonical labelled calculi. Zbl 1314.03016
Baaz, Matthias; Lahav, Ori; Zamansky, Anna
5
2013
Completeness of a first-order temporal logic with time-gaps. Zbl 0872.68171
Baaz, Matthias; Leitsch, Alexander; Zach, Richard
5
1996
Proof transformation by CERES. Zbl 1125.03012
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
5
2006
On the non-confluence of cut-elimination. Zbl 1220.03048
Baaz, Matthias; Hetzl, Stefan
5
2011
Embedding logics into product logic. Zbl 0962.03019
Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David
5
1998
On Skolemization in constructive theories. Zbl 1171.03035
Baaz, Matthias; Iemhoff, Rosalie
5
2008
Quantifier elimination in fuzzy logic. Zbl 0933.03022
Baaz, Matthias; Veith, Helmut
4
1999
Gentzen calculi for the existence predicate. Zbl 1097.03046
Baaz, Matthias; Iemhoff, Rosalie
4
2006
Note on the existence of most general semi-unifiers. Zbl 0806.03036
Baaz, Matthias
4
1993
Kripke-type semantics for Da Costa’s paraconsistent logic \(C_{\omega}\). Zbl 0622.03013
Baaz, Matthias
4
1986
Quantified propositional Gödel logics. Zbl 0988.03014
Baaz, Matthias; Ciabattoni, Agata; Zach, Richard
4
2000
On interpolation in existence logics. Zbl 1143.03325
Baaz, Matthias; Iemhoff, Rosalie
4
2005
Cut elimination for first order Gödel logic by hyperclause resolution. Zbl 1182.03102
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
4
2008
An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. Zbl 0943.03020
Baaz, Matthias; Veith, Helmut
3
2000
Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. Zbl 0921.03028
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut
3
1998
Kreisel’s conjecture for \(L\exists_ 1\). (Including a postscript by Georg Kreisel). Zbl 0812.03024
Baaz, Matthias; Pudlák, Pavel
3
1993
Gödel-Dummett logics. Zbl 1284.03173
Baaz, Matthias; Preining, Norbert
3
2011
CERES in many-valued logics. Zbl 1109.03007
Baaz, Matthias; Leitsch, Alexander
3
2005
SAT in monadic Gödel logics: a borderline between decidability and undecidability. Zbl 1246.03046
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert
3
2009
On the complexity of proof deskolemization. Zbl 1345.03104
Baaz, Matthias; Hetzl, Stefan; Weller, Daniel
3
2012
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040
Baaz, Matthias; Wojtylak, Piotr
3
2008
Quantifier elimination for quantified propositional logics on Kripke frames of type \({\omega}\). Zbl 1146.03011
Baaz, Matthias; Preining, Norbert
3
2008
MUltlog 1.0: towards an expert system for many-valued logics. Zbl 1412.68204
Baaz, Matthias; Fermüller, Christian G.; Salzer, Gernot; Zach, Richard
3
1996
Note on the generalization of calculations. Zbl 0930.03008
Baaz, Matthias
2
1999
Unsound inferences make proofs shorter. Zbl 1439.03095
Aguilera, Juan P.; Baaz, Matthias
2
2019
Cut-elimination: syntax and semantics. Zbl 1354.03086
Baaz, M.; Leitsch, A.
2
2014
Methods of functional extension. Zbl 0840.03042
Baaz, Matthias; Leitsch, Alexander
2
1995
Effective finite-valued semantics for labelled calculi. Zbl 1358.03018
Baaz, Matthias; Lahav, Ori; Zamansky, Anna
2
2012
Gödel logics with monotone operators. Zbl 1258.03027
Baaz, Matthias; Fasching, Oliver
2
2012
Monotone operators on Gödel logic. Zbl 1432.03035
Fasching, Oliver; Baaz, Matthias
2
2014
Short proofs of tautologies using the schema of equivalence. Zbl 0953.03513
Baaz, M.; Zach, R.
2
1994
Fast cut-elimination by projection. Zbl 0889.03048
Baaz, Matthias; Leitsch, Alexander
2
1997
Note on a translation to characterize constructivity. Zbl 1079.03055
Baaz, M.
2
2003
A natural deduction system for intuitionistic fuzzy logic. Zbl 1008.03015
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
2
2001
Sequent of relations calculi: A framework for analytic deduction in many-valued logics. Zbl 1041.03020
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
2
2003
Eskolemization in intuitionistic logic. Zbl 1241.03067
Baaz, Matthias; Iemhoff, Rosalie
2
2011
Note on witnessed Gödel logics with Delta. Zbl 1183.03022
Baaz, Matthias; Fasching, Oliver
2
2009
Herbrand theorems and Skolemization for prenex fuzzy logics. Zbl 1142.03340
Baaz, Matthias; Metcalfe, George
2
2008
A resolution mechanism for prenex Gödel logic. Zbl 1238.03022
Baaz, Matthias; Fermüller, Christian G.
2
2010
Combining many-valued and intuitionistic tableaux. Zbl 1415.03016
Baaz, Matthias; Fermüller, Christian G.
1
1996
Note on generalizing theorems in algebraically closed fields. Zbl 0905.03038
Baaz, Matthias; Zach, Richard
1
1998
MULTLOG: A system for axiomatizing many-valued logics. Zbl 0793.68126
Baaz, Matthias; Fermüller, Christian G.; Ovrutcki, Arie; Zach, Richard
1
1993
The axiom of choice in quantum theory. Zbl 0868.03019
Brunner, Norbert; Svozil, Karl; Baaz, Matthias
1
1996
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
Baaz, Matthias (ed.); Papadimitriou, Christos H. (ed.); Putnam, Hilary W. (ed.); Scott, Dana S. (ed.); Harper, Charles L. jun. (ed.)
1
2011
First-order interpolation of non-classical logics derived from propositional interpolation. Zbl 06821638
Baaz, Matthias; Lolic, Anela
1
2017
Die Anwendung starker Reduktionsregeln in automatischen Beweisen. Zbl 0596.03007
Baaz, Matthias; Leitsch, Alexander
1
1985
Eine Methode zur automatischen Problemreduktion. Zbl 0607.68071
Baaz, M.; Leitsch, A.
1
1985
Über den allgemeinen Gehalt von Beweisen. (On the general content of proofs). Zbl 0694.03036
Baaz, Matthias
1
1988
Controlling witnesses. Zbl 1090.03033
Baaz, Matthias
1
2005
A note on the proof-theoretic strength of a single application of the schema of identity. Zbl 1024.03060
Baaz, Matthias; Fermüller, Christian G.
1
2001
Comparing the complexity of cut-elimination methods. Zbl 1024.03058
Baaz, Matthias; Leitsch, Alexander
1
2001
First-order satisfiability in Gödel logics: an NP-complete fragment. Zbl 1244.03090
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert
1
2011
Theorem proving for prenex Gödel logic with \(\Delta\): checking validity and unsatisfiability. Zbl 1238.03021
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
1
2012
Strong splitting rules in automated theorem proving. Zbl 1209.68503
Baaz, Matthias; Leitsch, Alexander
1
1989
Fast cut-elimination by CERES. Zbl 1221.03057
Baaz, Matthias; Leitsch, Alexander
1
2010
Ten problems in Gödel logic. Zbl 1386.03024
Aguilera, Juan P.; Baaz, Matthias
1
2017
Skolemization in intermediate logics with the finite model property. Zbl 1405.03068
Baaz, Matthias; Iemhoff, Rosalie
1
2016
Unsound inferences make proofs shorter. Zbl 1439.03095
Aguilera, Juan P.; Baaz, Matthias
2
2019
First-order interpolation of non-classical logics derived from propositional interpolation. Zbl 06821638
Baaz, Matthias; Lolic, Anela
1
2017
Ten problems in Gödel logic. Zbl 1386.03024
Aguilera, Juan P.; Baaz, Matthias
1
2017
Skolemization in intermediate logics with the finite model property. Zbl 1405.03068
Baaz, Matthias; Iemhoff, Rosalie
1
2016
Cut-elimination: syntax and semantics. Zbl 1354.03086
Baaz, M.; Leitsch, A.
2
2014
Monotone operators on Gödel logic. Zbl 1432.03035
Fasching, Oliver; Baaz, Matthias
2
2014
Finite-valued semantics for canonical labelled calculi. Zbl 1314.03016
Baaz, Matthias; Lahav, Ori; Zamansky, Anna
5
2013
On the complexity of proof deskolemization. Zbl 1345.03104
Baaz, Matthias; Hetzl, Stefan; Weller, Daniel
3
2012
Effective finite-valued semantics for labelled calculi. Zbl 1358.03018
Baaz, Matthias; Lahav, Ori; Zamansky, Anna
2
2012
Gödel logics with monotone operators. Zbl 1258.03027
Baaz, Matthias; Fasching, Oliver
2
2012
Theorem proving for prenex Gödel logic with \(\Delta\): checking validity and unsatisfiability. Zbl 1238.03021
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
1
2012
Methods of cut-elimination. Zbl 1225.03075
Baaz, Matthias; Leitsch, Alexander
7
2011
On the non-confluence of cut-elimination. Zbl 1220.03048
Baaz, Matthias; Hetzl, Stefan
5
2011
Gödel-Dummett logics. Zbl 1284.03173
Baaz, Matthias; Preining, Norbert
3
2011
Eskolemization in intuitionistic logic. Zbl 1241.03067
Baaz, Matthias; Iemhoff, Rosalie
2
2011
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
Baaz, Matthias; Papadimitriou, Christos H.; Putnam, Hilary W.; Scott, Dana S.; Harper, Charles L. jun.
1
2011
First-order satisfiability in Gödel logics: an NP-complete fragment. Zbl 1244.03090
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert
1
2011
Herbrand’s theorem, Skolemization and proof systems for first-order Łukasiewicz logic. Zbl 1188.03014
Baaz, Matthias; Metcalfe, George
8
2010
A resolution mechanism for prenex Gödel logic. Zbl 1238.03022
Baaz, Matthias; Fermüller, Christian G.
2
2010
Fast cut-elimination by CERES. Zbl 1221.03057
Baaz, Matthias; Leitsch, Alexander
1
2010
SAT in monadic Gödel logics: a borderline between decidability and undecidability. Zbl 1246.03046
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert
3
2009
Note on witnessed Gödel logics with Delta. Zbl 1183.03022
Baaz, Matthias; Fasching, Oliver
2
2009
CERES: An analysis of Fürstenberg’s proof of the infinity of primes. Zbl 1181.68264
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
9
2008
On Skolemization in constructive theories. Zbl 1171.03035
Baaz, Matthias; Iemhoff, Rosalie
5
2008
Cut elimination for first order Gödel logic by hyperclause resolution. Zbl 1182.03102
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
4
2008
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040
Baaz, Matthias; Wojtylak, Piotr
3
2008
Quantifier elimination for quantified propositional logics on Kripke frames of type \({\omega}\). Zbl 1146.03011
Baaz, Matthias; Preining, Norbert
3
2008
Herbrand theorems and Skolemization for prenex fuzzy logics. Zbl 1142.03340
Baaz, Matthias; Metcalfe, George
2
2008
First-order Gödel logics. Zbl 1146.03010
Baaz, Matthias; Preining, Norbert; Zach, Richard
20
2007
Monadic fragments of Gödel logics: Decidability and undecidability results. Zbl 1138.03025
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
9
2007
The Skolemization of existential quantifiers in intuitionistic logic. Zbl 1106.03004
Baaz, Matthias; Iemhoff, Rosalie
8
2006
Towards a clausal analysis of cut-elimination. Zbl 1125.03013
Baaz, Matthias; Leitsch, Alexander
7
2006
Proof transformation by CERES. Zbl 1125.03012
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
5
2006
Gentzen calculi for the existence predicate. Zbl 1097.03046
Baaz, Matthias; Iemhoff, Rosalie
4
2006
Cut-elimination: experiments with CERES. Zbl 1108.03305
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik
9
2005
On interpolation in existence logics. Zbl 1143.03325
Baaz, Matthias; Iemhoff, Rosalie
4
2005
CERES in many-valued logics. Zbl 1109.03007
Baaz, Matthias; Leitsch, Alexander
3
2005
Controlling witnesses. Zbl 1090.03033
Baaz, Matthias
1
2005
Analytic calculi for monoidal t-norm based logic. Zbl 1057.03019
Baaz, Matthias; Ciabattoni, Agata; Montagna, Franco
10
2004
Hypersequent calculi for Gödel logics – a survey. Zbl 1051.03046
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
23
2003
Note on a translation to characterize constructivity. Zbl 1079.03055
Baaz, M.
2
2003
Sequent of relations calculi: A framework for analytic deduction in many-valued logics. Zbl 1041.03020
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
2
2003
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
14
2002
A Schütte-Tait style cut-elimination proof for first-order Gödel logic. Zbl 1015.03052
Baaz, Matthias; Ciabattoni, Agata
7
2002
Normal form transformations. Zbl 1005.03013
Baaz, Matthias; Egly, Uwe; Leitsch, Alexander
13
2001
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving. Zbl 1275.03098
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
13
2001
Automated deduction for many-valued logics. Zbl 0992.03015
Baaz, Matthias; Fermüller, Christian G.; Salzer, Gernot
12
2001
A natural deduction system for intuitionistic fuzzy logic. Zbl 1008.03015
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
2
2001
A note on the proof-theoretic strength of a single application of the schema of identity. Zbl 1024.03060
Baaz, Matthias; Fermüller, Christian G.
1
2001
Comparing the complexity of cut-elimination methods. Zbl 1024.03058
Baaz, Matthias; Leitsch, Alexander
1
2001
Cut-elimination and redundancy-elimination by resolution. Zbl 0976.03059
Baaz, Matthias; Leitsch, Alexander
20
2000
Hypersequents and the proof theory of intuitionistic fuzzy logic. Zbl 0973.03029
Baaz, Matthias; Zach, Richard
14
2000
Quantified propositional Gödel logics. Zbl 0988.03014
Baaz, Matthias; Ciabattoni, Agata; Zach, Richard
4
2000
An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. Zbl 0943.03020
Baaz, Matthias; Veith, Helmut
3
2000
Interpolation in fuzzy logic. Zbl 0936.03026
Baaz, Matthias; Veith, Helmut
16
1999
Cut normal forms and proof complexity. Zbl 0940.03062
Baaz, Matthias; Leitsch, Alexander
13
1999
Analytic calculi for projective logics. Zbl 0931.03066
Baaz, Matthias; Fermüller, Christian G.
6
1999
Quantifier elimination in fuzzy logic. Zbl 0933.03022
Baaz, Matthias; Veith, Helmut
4
1999
Note on the generalization of calculations. Zbl 0930.03008
Baaz, Matthias
2
1999
Labeled calculi and finite-valued logics. Zbl 0963.03039
Baaz, Matthias; Fermüller, Christian G.; Salzer, Gernot; Zach, Richard
12
1998
Embedding logics into product logic. Zbl 0962.03019
Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David
5
1998
Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. Zbl 0921.03028
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut
3
1998
Note on generalizing theorems in algebraically closed fields. Zbl 0905.03038
Baaz, Matthias; Zach, Richard
1
1998
Fast cut-elimination by projection. Zbl 0889.03048
Baaz, Matthias; Leitsch, Alexander
2
1997
Infinite-valued Gödel logics with 0-1-projections and relativizations. Zbl 0862.03015
Baaz, Matthias
61
1996
Completeness of a first-order temporal logic with time-gaps. Zbl 0872.68171
Baaz, Matthias; Leitsch, Alexander; Zach, Richard
5
1996
MUltlog 1.0: towards an expert system for many-valued logics. Zbl 1412.68204
Baaz, Matthias; Fermüller, Christian G.; Salzer, Gernot; Zach, Richard
3
1996
Combining many-valued and intuitionistic tableaux. Zbl 1415.03016
Baaz, Matthias; Fermüller, Christian G.
1
1996
The axiom of choice in quantum theory. Zbl 0868.03019
Brunner, Norbert; Svozil, Karl; Baaz, Matthias
1
1996
Resolution-based theorem proving for many-valued logics. Zbl 0839.68091
Baaz, Matthias; Fermüller, Christian G.
18
1995
Generalizing theorems in real closed fields. Zbl 0829.03033
Baaz, Matthias; Zach, Richard
5
1995
Methods of functional extension. Zbl 0840.03042
Baaz, Matthias; Leitsch, Alexander
2
1995
On Skolemization and proof complexity. Zbl 0815.03003
Baaz, Matthias; Leitsch, Alexander
23
1994
Short proofs of tautologies using the schema of equivalence. Zbl 0953.03513
Baaz, M.; Zach, R.
2
1994
Elimination of cuts in first-order finite-valued logics. Zbl 0821.03013
Baaz, Matthias; Fermüller, Christian G.; Zach, Richard
11
1993
Dual systems of sequents and tableaux for many-valued logics. Zbl 0788.03029
Baaz, Matthias; Fermüller, Christian G.; Zach, Richard
7
1993
Algorithmic structuring of cut-free proofs. Zbl 0794.03076
Baaz, Matthias; Zach, Richard
7
1993
Note on the existence of most general semi-unifiers. Zbl 0806.03036
Baaz, Matthias
4
1993
Kreisel’s conjecture for \(L\exists_ 1\). (Including a postscript by Georg Kreisel). Zbl 0812.03024
Baaz, Matthias; Pudlák, Pavel
3
1993
MULTLOG: A system for axiomatizing many-valued logics. Zbl 0793.68126
Baaz, Matthias; Fermüller, Christian G.; Ovrutcki, Arie; Zach, Richard
1
1993
Resolution for many-valued logics. Zbl 0920.03019
Baaz, Matthias; Fermüller, Christian G.
6
1992
Complexity of resolution proofs and function introduction. Zbl 0769.03009
Baaz, Matthias; Leitsch, Alexander
5
1992
Strong splitting rules in automated theorem proving. Zbl 1209.68503
Baaz, Matthias; Leitsch, Alexander
1
1989
Über den allgemeinen Gehalt von Beweisen. (On the general content of proofs). Zbl 0694.03036
Baaz, Matthias
1
1988
Kripke-type semantics for Da Costa’s paraconsistent logic \(C_{\omega}\). Zbl 0622.03013
Baaz, Matthias
4
1986
Die Anwendung starker Reduktionsregeln in automatischen Beweisen. Zbl 0596.03007
Baaz, Matthias; Leitsch, Alexander
1
1985
Eine Methode zur automatischen Problemreduktion. Zbl 0607.68071
Baaz, M.; Leitsch, A.
1
1985
all top 5

Cited by 287 Authors

32 Baaz, Matthias
16 Leitsch, Alexander
14 Ciabattoni, Agata
14 Hetzl, Stefan
13 Montagna, Franco
11 Metcalfe, George
10 Hájek, Petr
9 Vychodil, Vilém
7 Avron, Arnon
7 Cintula, Petr
7 Iemhoff, Rosalie
7 Weller, Daniel S.
7 Xu, Yang
6 Esteva, Francesc
6 Preining, Norbert
6 Zach, Richard
6 Zamansky, Anna
5 Aguilera, Juan Pablo
5 Fermüller, Christian G.
5 Flaminio, Tommaso
5 Godo, Lluís
5 Gottwald, Siegfried
5 Liu, Jun
5 Marchioni, Enrico
5 Reis, Giselle
5 Salzer, Gernot
4 Dubois, Didier
4 Egly, Uwe
4 Guller, Dušan
4 Haniková, Zuzana
4 Indrzejczak, Andrzej
4 Lahav, Ori
4 Robles, Gemma
4 Ruan, Da
4 Wansing, Heinrich Theodor
3 Aguzzoli, Stefano
3 Aschieri, Federico
3 Beckmann, Arnold
3 Bělohlávek, Radim
3 Bianchi, Matteo
3 Buss, Samuel R.
3 Caicedo, Xavier
3 Caleiro, Carlos
3 Cerna, David M.
3 Fasching, Oliver
3 Fontaine, Pascal
3 Gerla, Brunella
3 Kerre, Etienne E.
3 Kohlhase, Michael
3 Marcos, João
3 Muskens, Reinhard A.
3 Negri, Sara
3 Noguera, Carles
3 Voronkov, Andrei
3 Wintein, Stefan
3 Woltzenlogel Paleo, Bruno
2 Alonderis, Romas
2 Baldi, Paolo
2 Başkent, Can
2 Chajda, Ivan
2 Chen, Shuwei
2 Ciucci, Davide
2 Codara, Pietro
2 Creignou, Nadia
2 D’Antona, Ottavio M.
2 Diaconescu, Denisa
2 Dyckhoff, Roy
2 Ebner, Gabriel
2 El-Zekey, Moataz Saleh
2 Fiorino, Guido
2 Gabbay, Dov M.
2 Gerasimov, Aleksandr Sergeevich
2 Halaš, Radomír
2 Hermann, Miki
2 Hustadt, Ullrich
2 Kerber, Manfred
2 Kuznets, Roman
2 Ledda, Antonio
2 Lolic, Anela
2 Maffezioli, Paolo
2 Marra, Vincenzo
2 Mesiar, Radko
2 Moser, Georg
2 Motik, Boris
2 Orlandelli, Eugenio
2 Paoli, Francesco
2 Prade, Henri M.
2 Rasga, João
2 Rodríguez, Ricardo Oscar
2 Sattler, Ulrike
2 Schockaert, Steven
2 Straßburger, Lutz
2 Tsinakis, Constantine
2 Vetterlein, Thomas
2 Viganò, Luca
2 Wojtylak, Piotr
2 Wolfsteiner, Simon
2 Wu, Jinzhao
1 Afshari, Bahareh
1 Ansótegui, Carlos
...and 187 more Authors
all top 5

Cited in 53 Serials

39 Fuzzy Sets and Systems
27 Annals of Pure and Applied Logic
23 Studia Logica
22 Archive for Mathematical Logic
17 Theoretical Computer Science
13 Information Sciences
11 Journal of Automated Reasoning
11 Soft Computing
8 Journal of Applied Non-Classical Logics
7 Journal of Philosophical Logic
6 Information and Computation
6 Logica Universalis
5 Notre Dame Journal of Formal Logic
5 International Journal of Approximate Reasoning
4 The Journal of Symbolic Logic
4 The Bulletin of Symbolic Logic
4 Logic and Logical Philosophy
4 The Review of Symbolic Logic
3 Artificial Intelligence
3 Journal of Pure and Applied Algebra
3 Journal of Symbolic Computation
3 MSCS. Mathematical Structures in Computer Science
2 Synthese
2 Order
2 Mathematical Logic Quarterly (MLQ)
2 Annals of Mathematics and Artificial Intelligence
2 ACM Transactions on Computational Logic
2 Logical Methods in Computer Science
1 Acta Informatica
1 Information Processing Letters
1 Lithuanian Mathematical Journal
1 Algebra and Logic
1 Algebra Universalis
1 Applied Mathematics and Computation
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Bulletin of the Section of Logic
1 European Journal of Combinatorics
1 Science of Computer Programming
1 Journal of Computer Science and Technology
1 International Journal of Intelligent Systems
1 International Journal of Foundations of Computer Science
1 Indagationes Mathematicae. New Series
1 Journal of Logic, Language and Information
1 Journal of Mathematical Sciences (New York)
1 Constraints
1 Theory of Computing Systems
1 Matematychni Studiï
1 Journal of Applied Logic
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Journal of Shanghai Jiaotong University (Science)
1 European Journal of Mathematics
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year