Results 71 to 78 of about 2,593,900 (78)
, 2011 Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of ...
Bergstra, Jan Aldert
core +1 more source
Fuzzy Bigraphs: An Exercise in Fuzzy Communicating Agents
, 2019 Bigraphs and their algebra is a model of concurrency. Fuzzy bigraphs are a generalization of birgraphs intended to be a model of concurrency that incorporates vagueness.
C Berge +4 more
core +1 more source
arXiv, 2010 Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
arxiv
Linear Types Can Change the Blockchain [PDF]
arXiv, 2015 We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.
arxiv
A Short Remark on Analogical Reasoning [PDF]
arXiv, 2019 We discuss the problem of defining a logic for analogical reasoning, and sketch a solution in the style of the semantics for Counterfactual Conditionals, Preferential Structures, etc.
arxiv
Informaticology: combining Computer Science, Data Science, and Fiction Science
, 2012 Motivated by an intention to remedy current complications with Dutch terminology concerning informatics, the term informaticology is positioned to denote an academic counterpart of informatics where informatics is conceived of as a container for a ...
Bergstra, Jan A.
core
Some of the next articles are maybe not open access.
Related searches:
Related searches:
TAPSOFT'93: Theory and Practice of Software Development
Lecture Notes in Computer Science, 1993M. Gaudel +2 more
semanticscholar +1 more source
Toward HW/SW integration: a networked embedded system course in Taiwan
SIGBED, 2007C. Shih +3 more
semanticscholar +1 more source