Results 31 to 40 of about 939,241 (354)
Privileged Chiral Photocatalysts
Angewandte Chemie, EarlyView.Privileged chiral catalysts have transformed asymmetric synthesis, conferring generality to processes that are routinely leveraged in the construction of societally important functional small molecules. This mini‐review is intended to survey the conception and evolution of privileged chiral photocatalyst scaffolds that enable simultaneous orchestration
Emanuel Studer +3 more
wiley +2 more sources
Meinong and Husserl on Existence. Two Solutions of the Paradox of Non-Existence
Philosophia Scientiæ, 2014 This paper analyzes and compares the attempts at solving the paradox of non-existence put forward by Alexius Meinong and Edmund Husserl. It will be argued that Meinong's solution is not convincing since he retreats from the field of predicate logic, in ...
Giuliano Bacigalupo
doaj +1 more source
Existence Predicate and Referentiality [PDF]
حکمت معاصر, 2015 This essay critically studies one of the important criticisms of the existence predicate, i.e. the referentiality/ non–referentiality proof. Also, it wants to show some of the weaknesses of the following views: (1) existence by no means is a predicate ...
Mahdi Assadi
doaj
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
Higher-Order Termination: from Kruskal to Computability [PDF]
, 2006 Termination is a major question in both logic and computer science. In logic, termination is at the heart of proof theory where it is usually called strong normalization (of cut elimination).
C. Borralleras +13 more
core +9 more sources
Model Theory and Proof Theory of Coalgebraic Predicate Logic [PDF]
Logical Methods in Computer Science, 2018 We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras.
Tadeusz Litak +3 more
doaj +1 more source
The Cognitive Ontogenesis of Predicate Logic
Notre Dame J. Formal Log., 2014 Since Aristotle and the Stoa, there has been a clash, worsened by modern predicate logic, between logically defined operator meanings and natural intuitions.
Pieter A. M. Seuren
semanticscholar +1 more source
Predicative Logic and Formal Arithmetic [PDF]
Notre Dame Journal of Formal Logic, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Burgess, John P., Hazen, A. P.
openaire +3 more sources
Constraints on predicate invention [PDF]
, 1991 This chapter describes an inductive learning method that derives logic programs and invents predicates when needed. The basic idea is to form the least common anti-instance (LCA) of selected seed examples.
Buntine +5 more
core +1 more source
Influences of Frege’s Predicate Logic on Some Computational Models [PDF]
Future Human Image, 2018 The purpose of this paper is to give some insights into the immense role of Frege’s first order logic (FOL) in the development of computer science. We argue that the FOL is fundamental in computer science, and that some computer science subfields could ...
Mohamad Awwad
doaj +1 more source