Showing 241 - 260 results of 506 for search '"Mathematical logic"', query time: 0.10s Refine Results
  1. 241
    Design of a Computable Approximate Reasoning Logic System for AI

    Design of a Computable Approximate Reasoning Logic System for AI by Kaidi Liu, Yancang Li, Rong Cui

    Published 2022-04-01
    Subjects: “…mathematical logic…”
    Get full text
    Article
  2. 242
    The logic of the nation: Nationalism, formal logic, and interwar Poland

    The logic of the nation: Nationalism, formal logic, and interwar Poland by David E. Dunning

    Published 2018-12-01
    Subjects: “…mathematical logic…”
    Get full text
    Article
  3. 243
    Embedding an object calculus in the unifying theories of programming

    Embedding an object calculus in the unifying theories of programming by Smith, M

    Published 2010
    Subjects:
    Thesis
  4. 244
    Focusing in Orthologic

    Focusing in Orthologic by Olivier Laurent

    Published 2017-07-01
    Subjects:
    Get full text
    Article
  5. 245
    Kripke Semantics for Martin-L\"of's Extensional Type Theory

    Kripke Semantics for Martin-L\"of's Extensional Type Theory by Steve Awodey, Florian Rabe

    Published 2011-09-01
    Subjects:
    Get full text
    Article
  6. 246
    Converse extensionality and apartness

    Converse extensionality and apartness by Benno van den Berg, Robert Passmann

    Published 2022-12-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  7. 247
    Stabilized profunctors and stable species of structures

    Stabilized profunctors and stable species of structures by Marcelo Fiore, Zeinab Galal, Hugo Paquet

    Published 2024-02-01
    Subjects:
    Get full text
    Article
  8. 248
    A syntactic approach to continuity of T-definable functionals

    A syntactic approach to continuity of T-definable functionals by Chuangjie Xu

    Published 2020-02-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  9. 249
    A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

    A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods by Mirai Ikebuchi

    Published 2022-09-01
    Subjects:
    Get full text
    Article
  10. 250
    Disjoint-union partial algebras

    Disjoint-union partial algebras by Robin Hirsch, Brett McLean

    Published 2017-06-01
    Subjects:
    Get full text
    Article
  11. 251
    Normalisation Control in Deep Inference via Atomic Flows

    Normalisation Control in Deep Inference via Atomic Flows by Alessio Guglielmi, Tom Gundersen

    Published 2008-03-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  12. 252
    Validity and Entailment in Modal and Propositional Dependence Logics

    Validity and Entailment in Modal and Propositional Dependence Logics by Miika Hannula

    Published 2019-04-01
    Subjects:
    Get full text
    Article
  13. 253
    Algorithmic Randomness and Capacity of Closed Sets

    Algorithmic Randomness and Capacity of Closed Sets by Douglas Cenzer, Paul Brodhead, Ferit Toska, Sebastian Wyman

    Published 2011-09-01
    Subjects:
    Get full text
    Article
  14. 254
    The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function

    The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function by Vassilios Gregoriades

    Published 2011-11-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  15. 255
    Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

    Finitely generated free Heyting algebras via Birkhoff duality and coalgebra by Nick Bezhanishvili, Mai Gehrke

    Published 2011-05-01
    Subjects:
    Get full text
    Article
  16. 256
    Arboreal Categories: An Axiomatic Theory of Resources

    Arboreal Categories: An Axiomatic Theory of Resources by Samson Abramsky, Luca Reggio

    Published 2023-08-01
    Subjects:
    Get full text
    Article
  17. 257
    Induction in Algebra: a First Case Study

    Induction in Algebra: a First Case Study by Peter M Schuster

    Published 2013-09-01
    Subjects:
    Get full text
    Article
  18. 258
    Realizability algebras II : new models of ZF + DC

    Realizability algebras II : new models of ZF + DC by Jean-Louis Krivine

    Published 2012-02-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  19. 259
    Internalising modified realisability in constructive type theory

    Internalising modified realisability in constructive type theory by Erik Palmgren

    Published 2005-10-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  20. 260
    Banach Spaces as Data Types

    Banach Spaces as Data Types by Dag Normann

    Published 2011-05-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article

Search Tools: