Results 21 to 30 of about 102,741 (269)
A point-free perspective on lax extensions and predicate liftings [PDF]
Mathematical Structures in Computer Science, 2021 Lax extensions of set functors play a key role in various areas, including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators.
S. Goncharov +4 more
semanticscholar +1 more source
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
A Logic for True Concurrency [PDF]
, 2014 We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history preserving bisimilarity, and fragments of the logic can be identified which
Baldan, Paolo, Crafa, Silvia
core +1 more source
Fibred Coalgebraic Logic and Quantum Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different ...
Daniel Marsden
doaj +1 more source
Henkin on Nominalism and Higher-Order Logic
Principia: An International Journal of Epistemology, 2022 In this paper a proposal by Henkin of a nominalistic interpretation for second and higher-order logic is developed in detail and analysed. It was proposed as a response to Quine’s claim that second and higher-order logic not only are (α) committed to ...
Diego Pinheiro Fernandes
doaj +1 more source
A Potpourri of Reason Maintenance Methods [PDF]
, 2011 We present novel methods to compute changes to materialized views in logic databases like those used by rule-based reasoners. Such reasoners have to address the problem of changing axioms in the presence of materializations of derived atoms.
Bry, François +2 more
core +1 more source
The Epsilon Calculus and Herbrand Complexity [PDF]
, 2005 Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which ...
A. Blass +20 more
core +2 more sources
‘Had it not been for her’: Gender, Care Labour and Disability in the British Caribbean, 1788–1834
Gender &History, EarlyView., 2023 Abstract This article explores the intersections between gender, disability and care labour in the slaveholding societies of the British Caribbean from 1788 to 1834. Considered economic burdens by slaveholders, aged and disabled bondswomen were made productive through caring for their enslaved peers, many of whom were themselves temporarily ...
Stefanie Hunt‐Kennedy
wiley +1 more source
Logical Reasoning for Higher-Order Functions with Local State [PDF]
Logical Methods in Computer Science, 2008 We introduce an extension of Hoare logic for call-by-value higher-order functions with ML-like local reference generation. Local references may be generated dynamically and exported outside their scope, may store higher-order functions and may be used to
Nobuko Yoshida +2 more
doaj +1 more source
Delimited control operators prove Double-negation Shift [PDF]
, 2011 We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the Double-negation Shift schema, while preserving the disjunction and existence ...
Ariola +31 more
core +6 more sources