-
241
Design of a Computable Approximate Reasoning Logic System for AI
Published 2022-04-01Subjects: “…mathematical logic…”
Get full text
Article -
242
The logic of the nation: Nationalism, formal logic, and interwar Poland
Published 2018-12-01Subjects: “…mathematical logic…”
Get full text
Article -
243
Embedding an object calculus in the unifying theories of programming
Published 2010Subjects:Thesis -
244
-
245
Kripke Semantics for Martin-L\"of's Extensional Type Theory
Published 2011-09-01Subjects: Get full text
Article -
246
Converse extensionality and apartness
Published 2022-12-01Subjects: “…mathematics - logic…”
Get full text
Article -
247
Stabilized profunctors and stable species of structures
Published 2024-02-01Subjects: Get full text
Article -
248
A syntactic approach to continuity of T-definable functionals
Published 2020-02-01Subjects: “…mathematics - logic…”
Get full text
Article -
249
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
Published 2022-09-01Subjects: Get full text
Article -
250
-
251
Normalisation Control in Deep Inference via Atomic Flows
Published 2008-03-01Subjects: “…mathematics - logic…”
Get full text
Article -
252
Validity and Entailment in Modal and Propositional Dependence Logics
Published 2019-04-01Subjects: Get full text
Article -
253
Algorithmic Randomness and Capacity of Closed Sets
Published 2011-09-01Subjects: Get full text
Article -
254
The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function
Published 2011-11-01Subjects: “…mathematics - logic…”
Get full text
Article -
255
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Published 2011-05-01Subjects: Get full text
Article -
256
Arboreal Categories: An Axiomatic Theory of Resources
Published 2023-08-01Subjects: Get full text
Article -
257
-
258
Realizability algebras II : new models of ZF + DC
Published 2012-02-01Subjects: “…mathematics - logic…”
Get full text
Article -
259
Internalising modified realisability in constructive type theory
Published 2005-10-01Subjects: “…mathematics - logic…”
Get full text
Article -
260
Banach Spaces as Data Types
Published 2011-05-01Subjects: “…mathematics - logic…”
Get full text
Article