6 research outputs found
Multiple Conclusion Rules in Logics with the Disjunction Property
- Author
- A Chagrov
- A Chagrov
- A Citkin
- A Muravitsky
- AV Chagrov
- BR Fedorishin
- E Jeřábek
- E Jeřábek
- E Jeřábek
- G Bezhanishvili
- G. E. Mints
- H Friedman
- J Goudsmit
- JP Goudsmit
- L Cabrer
- M Kracht
- M Kracht
- ND Belnap Jr
- R Harrop
- R Iemhoff
- R Iemhoff
- R Iemhoff
- S Odintsov
- SC Kleene
- T Prucnal
- VV Rybakov
- VV Rybakov
- VV Rybakov
- VV Rybakov
- VV Rybakov
- W Craig
- WA Pogorzelski
- Publication venue
- Publication date
- 02/09/2015
- Field of study
We prove that for the intermediate logics with the disjunction property any
basis of admissible rules can be reduced to a basis of admissible m-rules
(multiple-conclusion rules), and every basis of admissible m-rules can be
reduced to a basis of admissible rules. These results can be generalized to a
broad class of logics including positive logic and its extensions, Johansson
logic, normal extensions of S4, n-transitive logics and intuitionistic modal
logics
Peculiarities of sorption isotherm and sorption chemisms of caesium by mixed nickel–potassium ferrocyanide based on hydrated titanium dioxide
- Author
- A Renaud
- A. V. Voronina
- AA Kopyrin
- AA Odintsov
- AI Bardov
- AN Nesmeyanov
- AV Voronina
- AV Voronina
- AV Voronina
- AV Voronina
- E. V. Nogovitsyna
- EV Egorov
- EV Polyakov
- EV Polyakov
- F Sebesta
- GB Seyfer
- GB Seyfer
- H Kazemian
- J Orechovska
- LI Rudenko
- LM Sharygin
- M Ismail
- M Ismail
- MV Zilberman
- MV Zilberman
- N. D. Betenekov
- ND Betenekov
- P Rajec
- V. S. Semenishchev
- VS Semenishchev
- VV Milyutin
- VV Volkhin
- VV Volkhin
- VV Volkhin
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
System of Operation of Ceramic Tools in the External Burnishing of Cylindrical Billets
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Admissibility in Positive Logics
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
The Lesser-Known B-Ln (Boron-Lanthanide) Systems: B-Dy (Boron-Dysprosium), B-Ho (Boron-Holmium), B-Lu (Boron-Lutetium), B-Pr (Boron-Praseodymium), B-Tm (Boron-Thulium), and B-Yb (Boron-Ytterbium)
- Author
- A Berrada
- AA Stepanova
- AS Bolgar
- AS Bolgar
- B Post
- B Post
- F Iga
- G Allard
- G Bliznakov
- G Will
- GD Sturgeon
- GV Samsonov
- GV Samsonov
- H Hacker Jr.
- HA Eick
- HP Klesnar
- II Timofeeva
- J Bauer
- J Bauer
- J Etourneau
- J Étourneau
- J Étourneau
- JF Cannon
- JM Tarascon
- K Schwetz
- KE Spear
- KE Spear
- KE Spear
- KE Spear
- KN Lee
- LB Pankratz
- LL Ames
- LL Moiseenko
- M Przybylska
- M Stackelburg von
- M.E. Schlesinger
- NI Timofeeva
- NN Tvorogov
- NN Zhuravlev
- NY Shitsevalova
- OA Mordovin
- OI Shulishkova
- PK Liao
- PK Liao
- PK Liao
- PK Smith
- RN Castellano
- S LaPlaca
- S Okada
- S Okada
- S Yajima
- SP Gordienko
- SV Meschel
- SV Meschel
- VB Muratov
- VB Muratov
- VS Neshpor
- VV Odintsov
- W Schäfer
- Y Paderno
- YB Paderno
- YB Paderno
- YB Paderno
- YB Paderno
- YI Dutchak
- YI Dutchak
- Z Fisk
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Chemical Composition and Physical Properties of Humic Substances
- Author
- A Baumann
- A Björkman
- A Björkman
- A Bondy
- A Burges
- A Burges
- A Burges
- A Burges
- A Butenandt
- A Einstein
- A Einstein
- A Even-Haim
- A Gottschalk
- A Guinier
- A Hock
- A Hock
- A Hock
- A Hock
- A Kaila
- A Katchalsky
- A Lehner
- A Menger
- A Netzsch-Lehner
- A Okuda
- A Okuda
- A Quillico
- A Steinmetz
- A Stöckli
- A. M. Pommer
- AC Schuffelen
- AC Waldron
- AE Martell
- AE Martin
- AE Martin
- AE Martin
- AE Martin
- AE Martin
- AE Martin
- AG Norman
- AG Norman
- AI Natkina
- AM Pommer
- AM Posner
- AM Posner
- AM Posner
- AM Posner
- AR Bromfield
- AR Todd
- B Dirks
- B Eistert
- B Hagihara
- B Holmberg
- B Klamroth
- B Leopold
- B Leopold
- B Leopold
- B Valek
- B Venkataraman
- B. C. Deb
- B. Chatterjee
- BA Kilby
- BA Kilby
- BJ Finkle
- BK Mazumdar
- BKG Theng
- BO Lindgren
- BO Lindgren
- BS Bhatia
- C Enders
- C Enders
- C Enders
- C Enders
- C Enders
- C Enders
- C Enders
- C Enders
- C Juste
- C Kröger
- C Kröger
- C Kröger
- C Sprengel
- C Steelink
- C Steelink
- C Steelink
- C Steelink
- C Tanford
- CB Coulson
- CB Coulson
- CB Coulson
- CC Dragunov
- CC Esh
- CL Ogg
- CR Gätke
- D Kleinhempel
- D Murphy
- D MĂĽcke
- D. O. Robinson
- DC Whitehead
- DC Whitehead
- DD Slyke van
- DE Coffin
- DE Hathway
- DE Hathway
- DE Hathway
- DE Read
- DG Smith
- DL Lynch
- DS Jenkinson
- DS Jenkinson
- DS Orlov
- DS Orlov
- DS Orlov
- DS Orlov
- DS Orlov
- DS Orlov
- DS Orlov
- DS Orlov
- DS Orlov
- DW Krevelen van
- DW Krevelen van
- E Adler
- E Adler
- E Adler
- E Bennett
- E Ganz
- E Jung Jr
- E KĂĽster
- E KĂĽster
- E KĂĽster
- E KĂĽster
- E Markuze
- E MĂĽller
- E MĂĽller
- E Saalbach
- E Schlichting
- E Schlichting
- E Schmidt
- E Shorey
- E Welte
- E Welte
- E Welte
- E Welte
- E. M. Trautner
- EF Gale
- EJ Jones Jr
- EL Piret
- F Achard
- F Fischer
- F FĂĽhr
- F FĂĽhr
- F Halla
- F Henrich
- F Hoffmann
- F Hoppe-Seyler
- F Jacquin
- F Lucena-Conde
- F Majima
- F Micheel
- F Paulik
- F Pospisil
- F Pospisil
- F Sanger
- F Scheffer
- F Scheffer
- F Scheffer
- F Scheffer
- F Scheffer
- F Scheffer
- F Scheffer
- F Scheffer
- F Scheffer
- F Scheffer
- F Scheffer
- F Scheffer
- F Wold
- F Zetzsche
- F. Micheel
- FE Brauns
- FE Brauns
- FE Brauns
- FE Broadbent
- FE Broadbent
- FE Broadbent
- FE Broadbent
- FE Broadbent
- FE Broadbent
- FE Martin
- FE Martin
- FE Roadhouse
- FJ Sowden
- FJ Sowden
- FJ Sowden
- FJ Sowden
- FJ Stevenson
- FJ Stevenson
- FJ Stevenson
- FL Hirnes
- Flaig W.,, and H. Beutelspacher
- G Anderson
- G Dell’Agnola
- G Dell’Agnola
- G Dell’Agnola
- G Dell’Agnola
- G Dell’Agnola
- G Ferrari
- G Fischer
- G Greene
- G Haugard
- G Stadnikov
- G Stadnikov
- G Stadnikov
- G Stadnikov
- GA Adams
- GA Levashkevich
- GH Wagner
- GJ Kolenbrander
- GJ Ritter
- GOP Thompson
- GT Felbeck Jr
- H Beecken
- H Beutelspacher
- H Beutelspacher
- H Beutelspacher
- H Brockmann
- H Burton
- H Börner
- H Börner
- H Börner
- H Deuel
- H Deuel
- H Deuel
- H Deuel
- H Diebler
- H Dijk van
- H Dijk van
- H Ebertova
- H Grisebach
- H Ishikawa
- H Ishikawa
- H Kleist
- H Kleist
- H Kleist
- H Kleist
- H Kleist
- H Kleist
- H Kodama
- H Luther
- H Luther
- H Luther
- H LĂĽers
- H Maeder
- H Morita
- H Musso
- H Musso
- H Musso
- H Musso
- H Pallmann
- H Richtzenhain
- H Saeki
- H Schiff
- H SchlĂĽter
- H Staudinger
- H Staudinger
- H Svensson
- H Söchtig
- H Söchtig
- H Söchtig
- H Söchtig
- H Sørensen
- H Sørensen
- H Zadmard
- H. Dijk
- H. Pallmann
- HA Stuart
- HAC Chermin
- HE Bisle
- HE Freytag
- HE Freytag
- HE Freytag
- HE Freytag
- HE Freytag
- HG Cassidy
- HG Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HGH Erdtman
- HH Walter
- HI Boldyrev
- HJ Teuber
- HJ Teuber
- HJ Teuber
- HN Stein
- HN Stein
- HN Stein
- HN Stein
- HN Stein
- HO Huisman
- HS Mason
- HS Mason
- HS Mason
- HS Mason
- HS Raper
- HS Raper
- HW Scharpenseel
- HW Scharpenseel
- HW Scharpenseel
- HW Scharpenseel
- HW Scharpenseel
- I Prokh
- I Ubaldini
- IC Feustel
- IC Feustel
- IH Updegraff
- IM Kolthoff
- IS Kaurichev
- IS Kaurichev
- IV Tyurin
- IV Tyurin
- J Balint
- J Bartlett
- J Berzelius
- J Carles
- J Kosaka
- J Mayaudon
- J Mayaudon
- J Mayaudon
- J Ruchti
- J Sedletzky
- J Tinsley
- J Tinsley
- J Trojanowski
- J Trojanowski
- J Wehrmann
- J Young
- JB Bartlett
- JB Bartlett
- JC Salfeld
- JC Salfeld
- JC Salfeld
- JC Salfeld
- JC Salfeld
- JC Salfeld
- JC Salfeld
- JC Salfeld
- JC Wood
- JD Brooks
- JD Brooks
- JDS Goulden
- JE Hodge
- JE Hodge
- JK Brown
- JL Mortensen
- JL Mortensen
- JM Bremner
- JM Bremner
- JM Bremner
- JM Bremner
- JM Bremner
- JM Bremner
- JM Bremner
- JM Bremner
- JM Bremner
- JM Bremner
- JM Pepper
- JN Ladd
- JN Mukherjee
- JN Mukherjee
- JP Danchy
- JP Martin
- JR Wright
- JR Wright
- JR Wright
- JR Wright
- JR Wright
- JSL Philpot
- JW Parsons
- K Freudenberg
- K Freudenberg
- K Freudenberg
- K Freudenberg
- K Freudenberg
- K Freudenberg
- K Haider
- K Haider
- K Haider
- K Haider
- K Haider
- K Haider
- K Haider
- K Herrmann
- K Kawaguchi
- K Kobo
- K Kratzl
- K Kratzl
- K Kratzl
- K Kumada
- K Kumada
- K Kumada
- K Kumada
- K Kumada
- K Kumada
- K Kumada
- K Kumada
- K Kyuma
- K Nehring
- K Nehring
- K Nehring
- K Reinemund
- K Scifert
- K Simon
- K Simon
- K Täufel
- L Hargital
- L Horner
- L Horner
- L Hough
- L Michaelis
- L Michaelis
- L Pavel
- L Pavel
- L Pavel
- L Pavel
- L SchĂ nel
- LA Pinck
- LA Pinck
- LA Pinck
- LC Maillard
- LC Maillard
- LE Demumbrum
- LN Aleksandrova
- LN Aleksandrova
- LN Aleksandrova
- LN Aleksandrova
- LP Langel
- LT Evans
- M Andrzejewski
- M Andrzejewski
- M Ceh
- M Eigen
- M Frankel
- M Irving
- M Levesque
- M Phillips
- M Rydalevskaya
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Schnitzer
- M Tokuoka
- M Weltner
- M. Schnitzer
- M. Schnitzer
- MB Choudri
- MEK Henderson
- MEK Henderson
- MH Kuo
- MI Chudakov
- MJ Pelczar
- ML Wolfrom
- ML Wolfrom
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MM Kononova
- MR Lindbeck
- MS Anderson
- MS Blois
- N Rajalakshmi
- N Roulet
- N Walker
- NA Titova
- NC Mehta
- NC Mehta
- NJ Cartwright
- NS Randhawa
- NS Randhawa
- NT Bailey
- O Abel
- O Abel
- O Diels
- O Hayaishi
- O Kratky
- O Kratky
- O Plotho
- O Plotho van
- O Schreiner
- OT Schmidt
- OT Schmidt
- P Debye
- P Dubach
- P Dubach
- P Dubach
- P Dubach
- P Duchaufour
- P Odintsov
- P Schachtschabel
- P Simonart
- P Simonart
- P Simonart
- P Traynard
- PHA Sneath
- PJ Belkevic
- R Baltzly
- R Fukuzumi
- R Jacquin
- R Jodl
- R Jodl
- R Jodl
- R Jodl
- R Kuhn
- R Lantz
- R Obenaus
- R Stern
- R Swaby
- RA Gortner
- RA Nicolaus
- RB Cain
- RC Turner
- RI Davies
- RI Morrison
- RI Morrison
- RL Wershaw
- RP Hobson
- RS Beckwith
- RS Beckwith
- RW Rex
- RY Stanier
- RY Stanier
- S Blois
- S Bruckert
- S Dagley
- S Gottlieb
- S Gottlieb
- S Hori
- S Lim
- S Mohtadi
- S Oden
- S Oden
- S Oden
- S Savage
- S Tokudome
- S Tokudome
- S Trippett
- SA Brown
- SA Visser
- SA Waksman
- SA Waksman
- SA Waksman
- SA Waksman
- SA Waksman
- SA Waksman
- SA Waksman
- SE Burkat
- SK Chakrabartry
- SM Manskaja
- SM Manskaja
- SR Gross
- SS Khanna
- SZ El-Basyouni
- T Beres
- T Beres
- T Breyhan
- T Hayashi
- T Hayashi
- T Hayashi
- T Hayashi
- T Hayashi
- T Higushi
- T Higushi
- T Higushi
- T Jakab
- T Jakab
- T James
- T James
- T Ploetz
- T Ploetz
- T Svedberg
- T Svedberg
- T Tanaka
- T Urbanski
- TA Kukharenko
- TA Kukharenko
- TA Kukharenko
- TE Lewis
- TE Lewis
- Thiele H.,and H. Kettner
- TV Drozdova
- TV Drozdova
- TV Drozdova
- TV Drozdova
- TV Drozdova
- U Schobinger
- U Springer
- U Springer
- U Springer
- U Springer
- U Springer
- U Springer
- U Springer
- U Springer
- V Sundmann
- V Sundmann
- V Sundmann
- V Sundmann
- VC Farmer
- VC Farmer
- VC Farmer
- VI Kasatochkin
- VI Kasatochkin
- VI Kasatochkin
- VL Kretovich
- VL Kretovich
- VV Ponomareva
- W Baker
- W Eller
- W Eller
- W Eller
- W Eller
- W Eller
- W Eller
- W Eller
- W Fischer
- W Fischer
- W Fischer
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Flaig
- W Frömel
- W Frömel
- W Frömel
- W Fuchs
- W Fuchs
- W Fuchs
- W GĂĽndel
- W Laatsch
- W Laatsch
- W Langenbeck
- W Langenbeck
- W Meyer
- W Misterski
- W Naucke
- W Naucke
- W Reinders
- W Sauerlandt
- W Scheele
- W WiesemĂĽller
- W Ziechmann
- W Ziechmann
- W Ziechmann
- W Ziechmann
- W Ziechmann
- W Ziechmann
- W Ziechmann
- W Ziechmann
- W Ziechmann
- W Ziechmann
- WC Evans
- WC Evans
- WC Vosburgh
- WG Meinschein
- WGC Forsyth
- WGC Forsyth
- WGC Forsyth
- WGC Forsyth
- WGC Forsyth
- WK Anslow
- WK Anslow
- WK Anslow
- WK Anslow
- WS Gillam
- YC Giza
- Ă–holm
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1975
- Field of study