4 research outputs found
On Frege and Extended Frege Proof Systems
- Author
- A Goerdt
- A Haken
- AA Razborov
- G Takeuti
- G Takeuti
- GC Tseitin
- GC Tseitin
- J Krajíček
- J Krajíček
- J Krajíček
- J Krajíček
- J Krajíček
- J Krajíček
- J Krajíček
- J Krajíček
- J Krajíček
- J Paris
- JA Bondy
- K Mehlhorn
- L Lovász
- M Ajtai
- M Ajtai
- M Dowd
- M Furst
- ML Bonet
- P Clote
- P Clote
- P Clote
- P Clote
- PM Spira
- R Parikh
- RA Reckhow
- S.R
- SA Cook
- SA Cook
- SR Buss
- SR Buss
- SR Buss
- SR Buss
- T Arai
- T Pitassi
- W Cook
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1995
- Field of study
The Quest for the Basic Fuzzy Logic
- Author
- A Ciabattoni
- A Horn
- AA Monteiro
- DM Gabbay
- E Marchioni
- F Esteva
- F Esteva
- F Esteva
- F Esteva
- F Esteva
- F Montagna
- F Montagna
- F Montagna
- F Montagna
- G Metcalfe
- G Takeuti
- H Rasiowa
- J Łukasiewicz
- JS Olson
- K Gödel
- M Botur
- M Dummett
- N Galatos
- P Cintula
- P Cintula
- P Cintula
- P Cintula
- P Cintula
- P Cintula
- P Hájek
- P Hájek
- P Hájek
- P Hájek
- P Hájek
- P Savický
- R Cignoli
- R Horčík
- S Jenei
- S Jenei
- S Wang
- S-M Wang
- T Flaminio
- V Novák
- W Dziobiak
- WJ Blok
- Z Haniková
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study