Εμφανίζονται 1 - 20 Αποτελέσματα από 59 για την αναζήτηση '"Intuitionistic logic"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1
    A Short Introduction to Intuitionistic Logic
    ανά Mints, Grigori
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Logic -- Negative Translation: Glivenko’s Theorem -- Program Interpretation of Intuitionistic Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Intuitionistic logic, model theory and forcing /
    ανά Fitting, Melvin 1942-
    Έκδοση 1969
    Βιβλίο
  3. 3
    Leo Esakia on Duality in Modal and Intuitionistic Logics
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Logic and Structure
    ανά Dalen, Dirk van
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Order Logic -- Intuitionistic Logic -- Normalization -- Gödel's theorem.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Philosophical logic /
    ανά Burgess, John P., 1948-
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Intuitionistic logic.…”
    Βιβλίο
  6. 6
    Logics and Falsifications A New Perspective on Constructivist Semantics /
    ανά Kapsner, Andreas
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Stage Five: Pure Falsificationism and Dual Intuitionistic Logic -- Stage Two: Expanded Verificationism…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Philosophical and Mathematical Logic
    ανά de Swart, Harrie, de Swart, Harrie
    Έκδοση 2018
    Πίνακας περιεχομένων: “… and intuitionistic logic -- Chapter 8. Applications of logic and set theory: logic programming; relational databases.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    One Hundred Years of Intuitionism (1907–2007) The Cerisy Conference /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem -- The intersection of intuitionism (Brouwer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    978-3-031-09706-5.pdf
    Έκδοση 2023
    Λήψη πλήρους κειμένου
  10. 10
    A Mathematical Prelude to the Philosophy of Mathematics
    ανά Pollard, Stephen
    Έκδοση 2014
    Πίνακας περιεχομένων: “…. Chapter 6: Frege Arithmetic -- Chapter 7: Intuitionist Logic -- Chapter 8. Solutions of Odd-Numbered…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    A logical Approach to Philosophy Essays in Honour of Graham Solomon /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…? -- Empirical Negation in Intuitionistic Logic -- Negation’s Holiday: Aspectival Dialetheism -- Monism: The One…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Proof Theory and Algebra in Logic
    ανά Ono, Hiroakira, Ono, Hiroakira
    Έκδοση 2019
    Πίνακας περιεχομένων: “… algebras -- Heyting algebras and intuitionistic logic -- Logics and varieties -- Residuated structures…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… applications -- Markov's rule is admissible in the set theory with intuitionistic logic -- Bounded hyperset…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Classical and Intuitionistic Logic Are Asymptotically Identical -- Qualitative Temporal and Spatial…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Kolmogorov’s Heritage in Mathematics
    Έκδοση 2007
    Πίνακας περιεχομένων: “…The youth of Andrei Nikolaevich and Fourier series -- Kolmogorov’s contribution to intuitionistic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Logical Tools for Handling Change in Agent-Based Systems
    ανά Gabbay, Dov M., Schlechta, Karl
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Belief Revision in Non-Classical Logics
    ανά Ribeiro, Márcio Moretto
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions -- Depth Boundedness…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Cut-Free Sequent Calculus for Bi-intuitionistic Logic -- Tableaux with Dynamic Filtration for Layered…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Constructive Negations and Paraconsistency
    ανά Odintsov, Sergei P.
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email