![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Studia Logica, Volume 84
Volume 84, Number 1, September 2006
- Melvin Fitting:
FOIL Axiomatized. 1-22 - Siegfried Gottwald:
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches. 23-50 - Petr Hájek:
Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa. 51-62 - Ramon Jansana
:
Selfextensional Logics with a Conjunction. 63-104 - Dimiter Vakarelov:
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation. 105-127 - Boris Konev, Roman Kontchakov
, Frank Wolter
, Michael Zakharyaschev
:
On Dynamic Topological and Metric Logics. 129-160 - David Jehle:
Knowledge and Lotteries. 161-165
Volume 84, Number 2, November 2006
- Vincent F. Hendricks, Stig Andur Pedersen:
Ways of Worlds I-II. 167-169 - Horacio L. Arló-Costa, Eric Pacuit:
First-Order Classical Modal Logic. 171-210 - Adam Brandenburger, H. Jerome Keisler:
An Impossibility Theorem on Beliefs in Games. 211-240 - Mai Gehrke:
Generalized Kripke Frames. 241-275 - Patrick Blackburn
, Balder ten Cate:
Pure Extensions, Proof Rules, and Hybrid Axiomatics. 277-322 - John F. Sowa:
Worlds, Models and Descriptions. 323-360
Volume 84, Number 3, December 2006
- Peter Aczel, Laura Crosilla
, Hajime Ishihara, Erik Palmgren, Peter Schuster
:
Binary Refinement Implies Discrete Exponentiation. 361-368 - Johan van Benthem, Guram Bezhanishvili, Balder ten Cate
, Darko Sarenac:
Multimo dal Logics of Products of Topologies. 369-392 - Roberto Cignoli, Luiz Monteiro:
Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro. 393-405 - David J. Foulis:
The Universal Group of a Heyting Effect Algebra. 407-424 - Benjamin R. George:
Second-Order Characterizable Cardinals and Ordinals. 425-449 - Sergiu Rudeanu, Dan A. Simovici:
On the Ranges of Algebraic Functions on Lattices. 451-468 - Jouni Järvinen
:
Incomplete Information: Structure, Inference, Complexity. 469-475
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.