Le informazioni sugli articoli di fonte ISI sono coperte da copyright

Per ulteriori informazioni selezionare i riferimenti di interesse.

1. Visser, A
   Submodels of Kripke models
   ARCHIVE FOR MATHEMATICAL LOGIC
   
   A. Visser, "Submodels of Kripke models", ARCH MATH L, 40(4), 2001, pp. 277-295
2. Atanassov, KT
   Remarks on the conjunctions, disjunctions and implications of the intuitionistic fuzzy logic
   INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
   
   K.T. Atanassov, "Remarks on the conjunctions, disjunctions and implications of the intuitionistic fuzzy logic", INT J UNC F, 9(1), 2001, pp. 55-65
3. Atanassov, KT
   Remarks on Ivlin's paper from an intuitionistic fuzzy logic point of view
   INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
   
   K.T. Atanassov, "Remarks on Ivlin's paper from an intuitionistic fuzzy logic point of view", INT J UNC F, 9(1), 2001, pp. 67-70
4. Atanassov, KT; Nikolov, NG
   Remark on the pseudo-fixed points of the intuitionistic fuzzy logic operators
   INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
   
   K.T. Atanassov e N.G. Nikolov, "Remark on the pseudo-fixed points of the intuitionistic fuzzy logic operators", INT J UNC F, 9(1), 2001, pp. 77-80
5. Celani, SA
   A fragment of intuitionistic Dynamic Logic
   FUNDAMENTA INFORMATICAE
   
   S.A. Celani, "A fragment of intuitionistic Dynamic Logic", FUNDAM INF, 46(3), 2001, pp. 187-197
6. Buss, SR; Pudlak, P
   On the computational content of intuitionistic propositional proofs
   ANNALS OF PURE AND APPLIED LOGIC
   
   S.R. Buss e P. Pudlak, "On the computational content of intuitionistic propositional proofs", ANN PUR APP, 109(1-2), 2001, pp. 49-64
7. Gao, HS
   A strong completeness theorem in intuitionistic quantified modal logic
   SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
   
   H.S. Gao, "A strong completeness theorem in intuitionistic quantified modal logic", SCI CHINA E, 43(1), 2000, pp. 60-70
8. Degtyarev, A; Gurevich, Y; Narendran, P; Veanes, M; Voronkov, A
   Decidability and complexity of simultaneous rigid E-unification with one variable and related results
   THEORETICAL COMPUTER SCIENCE
   
   A. Degtyarev et al., "Decidability and complexity of simultaneous rigid E-unification with one variable and related results", THEOR COMP, 243(1-2), 2000, pp. 167-184
9. Galmiche, D; Pym, DJ
   Proof-search in type-theoretic languages: an introduction
   THEORETICAL COMPUTER SCIENCE
   
   D. Galmiche e D.J. Pym, "Proof-search in type-theoretic languages: an introduction", THEOR COMP, 232(1-2), 2000, pp. 5-53
10. Galmiche, D
    Connection methods in linear logic and proof nets construction
    THEORETICAL COMPUTER SCIENCE
    
    D. Galmiche, "Connection methods in linear logic and proof nets construction", THEOR COMP, 232(1-2), 2000, pp. 231-272
11. Nadathur, G
    Correspondences between classical, intuitionistic and uniform provability
    THEORETICAL COMPUTER SCIENCE
    
    G. Nadathur, "Correspondences between classical, intuitionistic and uniform provability", THEOR COMP, 232(1-2), 2000, pp. 273-298
12. Ritter, E; Pym, D; Wallen, L
    On the intuitionistic force of classical search
    THEORETICAL COMPUTER SCIENCE
    
    E. Ritter et al., "On the intuitionistic force of classical search", THEOR COMP, 232(1-2), 2000, pp. 299-333
13. Hajek, P; Harmancova, D
    A hedge for Godel fuzzy logic
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
    
    P. Hajek e D. Harmancova, "A hedge for Godel fuzzy logic", INT J UNC F, 8(4), 2000, pp. 495-498
14. Hendriks, L
    Doing logic by computer: interpolation in fragments of intuitionistic propositional logic
    ANNALS OF PURE AND APPLIED LOGIC
    
    L. Hendriks, "Doing logic by computer: interpolation in fragments of intuitionistic propositional logic", ANN PUR APP, 104(1-3), 2000, pp. 97-112
15. Esakia, L; Jibladze, M; Pataraia, D
    Scattered toposes
    ANNALS OF PURE AND APPLIED LOGIC
    
    L. Esakia et al., "Scattered toposes", ANN PUR APP, 103(1-3), 2000, pp. 97-107
16. Li, DF; Jia, PF; Li, XX
    Simplifying von Plate's axiomatization of constructive apartness geometry
    ANNALS OF PURE AND APPLIED LOGIC
    
    D.F. Li et al., "Simplifying von Plate's axiomatization of constructive apartness geometry", ANN PUR APP, 102(1-2), 2000, pp. 1-26
17. Bridges, D; Richman, F; Schuster, P
    Linear independence without choice
    ANNALS OF PURE AND APPLIED LOGIC
    
    D. Bridges et al., "Linear independence without choice", ANN PUR APP, 101(1), 2000, pp. 95-102
18. PEARCE D
    STABLE INFERENCE AS INTUITIONISTIC VALIDITY
    The journal of logic programming
    
    D. Pearce, "STABLE INFERENCE AS INTUITIONISTIC VALIDITY", The journal of logic programming, 38(1), 1999, pp. 79-91
19. Voronkov, A
    Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem
    THEORETICAL COMPUTER SCIENCE
    
    A. Voronkov, "Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem", THEOR COMP, 224(1-2), 1999, pp. 319-352
20. Bridges, DS
    Constructive mathematics: a foundation for computable analysis
    THEORETICAL COMPUTER SCIENCE
    
    D.S. Bridges, "Constructive mathematics: a foundation for computable analysis", THEOR COMP, 219(1-2), 1999, pp. 95-109
21. Dyckhoff, R; Pinto, L
    Permutability of proofs in intuitionistic sequent calculi
    THEORETICAL COMPUTER SCIENCE
    
    R. Dyckhoff e L. Pinto, "Permutability of proofs in intuitionistic sequent calculi", THEOR COMP, 212(1-2), 1999, pp. 141-155
22. Borisavljevic, M
    A cut-elimination proof in intuitionistic predicate logic
    ANNALS OF PURE AND APPLIED LOGIC
    
    M. Borisavljevic, "A cut-elimination proof in intuitionistic predicate logic", ANN PUR APP, 99(1-3), 1999, pp. 105-136
23. Pynko, AP
    Definitional equivalence and algebraizability of generalized logical systems
    ANNALS OF PURE AND APPLIED LOGIC
    
    A.P. Pynko, "Definitional equivalence and algebraizability of generalized logical systems", ANN PUR APP, 98(1-3), 1999, pp. 1-68
24. Roeper, P; Leblanc, H
    Absolute probability functions for intuitionistic propositional logic
    JOURNAL OF PHILOSOPHICAL LOGIC
    
    P. Roeper e H. Leblanc, "Absolute probability functions for intuitionistic propositional logic", J PHILOS LO, 28(3), 1999, pp. 223-234
25. Yashin, AD
    Irreflexive modality in the intuitionistic propositional logic and Novikovcompleteness
    JOURNAL OF PHILOSOPHICAL LOGIC
    
    A.D. Yashin, "Irreflexive modality in the intuitionistic propositional logic and Novikovcompleteness", J PHILOS LO, 28(2), 1999, pp. 175-197
26. ATANASSOV K; GARGOV G
    ELEMENTS OF INTUITIONISTIC FUZZY-LOGIC - PART-I
    Fuzzy sets and systems
    
    K. Atanassov e G. Gargov, "ELEMENTS OF INTUITIONISTIC FUZZY-LOGIC - PART-I", Fuzzy sets and systems, 95(1), 1998, pp. 39-52
27. Giacobazzi, R; Scozzari, F
    A logical model for relational abstract domains
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    
    R. Giacobazzi e F. Scozzari, "A logical model for relational abstract domains", ACM T PROGR, 20(5), 1998, pp. 1067-1109
28. KRACHT M
    ON EXTENSIONS OF INTERMEDIATE LOGICS BY STRONG NEGATION
    Journal of philosophical logic
    
    M. Kracht, "ON EXTENSIONS OF INTERMEDIATE LOGICS BY STRONG NEGATION", Journal of philosophical logic, 27(1), 1998, pp. 49-73
29. SKVORTSOV D
    NON-AXIOMATIZABLE 2ND-ORDER INTUITIONISTIC PROPOSITIONAL LOGIC
    Annals of pure and applied Logic
    
    D. Skvortsov, "NON-AXIOMATIZABLE 2ND-ORDER INTUITIONISTIC PROPOSITIONAL LOGIC", Annals of pure and applied Logic, 86(1), 1997, pp. 33-46
30. NOUR K
    STORAGE OPERATORS AND FOR-ALL-POSITIVE TY PES
    Informatique theorique et applications
    
    K. Nour, "STORAGE OPERATORS AND FOR-ALL-POSITIVE TY PES", Informatique theorique et applications, 30(3), 1996, pp. 261-293
31. FANG SF; BRUDERLIN B; ZHU XH
    ROBUSTNESS IN SOLID MODELING - A TOLERANCE-BASED INTUITIONISTIC APPROACH
    Computer Aided Design
    
    S.F. Fang et al., "ROBUSTNESS IN SOLID MODELING - A TOLERANCE-BASED INTUITIONISTIC APPROACH", Computer Aided Design, 25(9), 1993, pp. 567-576