Results 11 to 20 of about 568,503 (297)
Foundations for a logic of arguments [PDF]
Journal of Applied Non-Classical Logics, 2017 This paper aims at laying some foundations of a logic of argumentation in which arguments, as well as attacks and supports among arguments are all defined in a unifying formalism.
Leila Amgoud +2 more
openaire +2 more sources
Classical Combinatory Logic [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages.
Karim Nour
doaj +1 more source
, 2017 A survey of Parikh’s philosophical appropriations of Wittgensteinian themes, placed into historical context against the backdrop of Turing’s famous paper, “On computable numbers, with an application to the Entscheidungsproblem” (Turing in Proc Lond Math ...
Floyd, Juliet
core +1 more source
Logical Foundations of Quantitative Equality
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022 In quantitative reasoning one compares objects by distances, instead of equivalence relations, so that one can measure how much they are similar, rather than just saying whether they are equivalent or not. In this paper we aim at providing a logical ground to quantitative reasoning with distances in Linear Logic, using the categorical language of ...
Dagnino F., Pasquali F.
openaire +3 more sources
Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic
Entropy, 2019 While Blockchain technology is universally considered as a significant technology for the near future, some of its pillars are under a threat of another thriving technology, Quantum Computing.
Xin Sun +3 more
doaj +1 more source
Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School
Studia Historiae Scientiarum, 2022 The foundations of mathematics cover mathematical as well as philosophical problems. At the turn of the 20th century logicism, formalism and intuitionism, main foundational schools were developed.
Jan Woleński
doaj +1 more source
, 2002 In this paper we explore the boundary between biology and the study of formal systems (logic). In the end, we arrive at a summary formalism, a chapter in "boundary mathematics" where there are not only containers but also extainers >
Kauffman, Louis H.
core +4 more sources
The foundational problem of logic [PDF]
The Bulletin of Symbolic Logic, 2013 AbstractThe construction of a systematic philosophical foundation for logic is a notoriously difficult problem. In Part One I suggest that the problem is in large part methodological, having to do with the common philosophical conception of “providing a foundation”.
openaire +4 more sources
Model theory and foundations of logic
Acta Universitatis Carolinae Philosophica et Historica, 2016 Despite its popularity, model theory based on Tarski’s insights is in need of deeper philosophical reflection. A wide range of stances towards it was proposed, some seeing it as project based on fundamental misconceptions, some asserting it reveals the ...
Pavel Arazim
doaj +1 more source
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X) [PDF]
International Journal of Computational Intelligence Systems, 2014 This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic.
Jiafeng Zhang, Yang Xu, Xingxing He
doaj +1 more source