Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'INTUITIONISTIC LOGIC' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 31 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Visser, A
      Submodels of Kripke models

      ARCHIVE FOR MATHEMATICAL LOGIC
    2. Atanassov, KT
      Remarks on the conjunctions, disjunctions and implications of the intuitionistic fuzzy logic

      INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
    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
    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
    5. Celani, SA
      A fragment of intuitionistic Dynamic Logic

      FUNDAMENTA INFORMATICAE
    6. Buss, SR; Pudlak, P
      On the computational content of intuitionistic propositional proofs

      ANNALS OF PURE AND APPLIED LOGIC
    7. Gao, HS
      A strong completeness theorem in intuitionistic quantified modal logic

      SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
    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
    9. Galmiche, D; Pym, DJ
      Proof-search in type-theoretic languages: an introduction

      THEORETICAL COMPUTER SCIENCE
    10. Galmiche, D
      Connection methods in linear logic and proof nets construction

      THEORETICAL COMPUTER SCIENCE
    11. Nadathur, G
      Correspondences between classical, intuitionistic and uniform provability

      THEORETICAL COMPUTER SCIENCE
    12. Ritter, E; Pym, D; Wallen, L
      On the intuitionistic force of classical search

      THEORETICAL COMPUTER SCIENCE
    13. Hajek, P; Harmancova, D
      A hedge for Godel fuzzy logic

      INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
    14. Hendriks, L
      Doing logic by computer: interpolation in fragments of intuitionistic propositional logic

      ANNALS OF PURE AND APPLIED LOGIC
    15. Esakia, L; Jibladze, M; Pataraia, D
      Scattered toposes

      ANNALS OF PURE AND APPLIED LOGIC
    16. Li, DF; Jia, PF; Li, XX
      Simplifying von Plate's axiomatization of constructive apartness geometry

      ANNALS OF PURE AND APPLIED LOGIC
    17. Bridges, D; Richman, F; Schuster, P
      Linear independence without choice

      ANNALS OF PURE AND APPLIED LOGIC
    18. PEARCE D
      STABLE INFERENCE AS INTUITIONISTIC VALIDITY

      The journal of logic programming
    19. Voronkov, A
      Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem

      THEORETICAL COMPUTER SCIENCE
    20. Bridges, DS
      Constructive mathematics: a foundation for computable analysis

      THEORETICAL COMPUTER SCIENCE
    21. Dyckhoff, R; Pinto, L
      Permutability of proofs in intuitionistic sequent calculi

      THEORETICAL COMPUTER SCIENCE
    22. Borisavljevic, M
      A cut-elimination proof in intuitionistic predicate logic

      ANNALS OF PURE AND APPLIED LOGIC
    23. Pynko, AP
      Definitional equivalence and algebraizability of generalized logical systems

      ANNALS OF PURE AND APPLIED LOGIC
    24. Roeper, P; Leblanc, H
      Absolute probability functions for intuitionistic propositional logic

      JOURNAL OF PHILOSOPHICAL LOGIC
    25. Yashin, AD
      Irreflexive modality in the intuitionistic propositional logic and Novikovcompleteness

      JOURNAL OF PHILOSOPHICAL LOGIC
    26. ATANASSOV K; GARGOV G
      ELEMENTS OF INTUITIONISTIC FUZZY-LOGIC - PART-I

      Fuzzy sets and systems
    27. Giacobazzi, R; Scozzari, F
      A logical model for relational abstract domains

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    28. KRACHT M
      ON EXTENSIONS OF INTERMEDIATE LOGICS BY STRONG NEGATION

      Journal of philosophical logic
    29. SKVORTSOV D
      NON-AXIOMATIZABLE 2ND-ORDER INTUITIONISTIC PROPOSITIONAL LOGIC

      Annals of pure and applied Logic
    30. NOUR K
      STORAGE OPERATORS AND FOR-ALL-POSITIVE TY PES

      Informatique theorique et applications
    31. FANG SF; BRUDERLIN B; ZHU XH
      ROBUSTNESS IN SOLID MODELING - A TOLERANCE-BASED INTUITIONISTIC APPROACH

      Computer Aided Design


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 22/01/21 alle ore 05:23:17