Results 31 to 40 of about 106,571 (322)
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
Synthesis and Application of Bioactive N‐Functionalized Aziridines
Angewandte Chemie, EarlyView.This review discusses modern synthetic methods for the preparation of aziridine‐containing small molecules, including biocatalytic, electrocatalytic, and photocatalytic strategies. We highlight the compatibility of various synthetic methods with control of the exocyclic N‐substituent.
Hao Tan +4 more
wiley +2 more sources
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
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition [PDF]
Computer Science Journal of Moldova, 2019 Partial quasiary predicates are used in programming for representing program semantics and in logic for formalizing predicates over partial variable assignments.
Mykola Nikitchenko +3 more
doaj
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
, 2017 We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation.
Pratt-Hartmann, Ian
core +1 more source
Semantics and Linguistic Theory, 1994 In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without fiddling with orthodox notions of scope and binding.
openaire +5 more sources
Principia: An International Journal of EpistemologyThere are some sentences that include expressions that refer to entities that do not exist. One example is this: Mary is in terror of werewolves. Some argue that this sentence cannot be translated into predicate logic.
Víctor Cantero-Flores
doaj +1 more source
MATEC Web of Conferences, 2018 Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic.
Glivická Jana
doaj +1 more source
Necessity in the Thought of Avicenna [PDF]
حکمت و فلسفه, 2018 To Avicenna, the relation between the subject and the predicate is of three kinds: possibility, necessity, and impossibility. Impossibility is the same as necessary non-existence. The word ‘modal’ in modal logic refers to these three.
milad omrani, Fereshteh Nabati
doaj +1 more source