Results 21 to 30 of about 101,814 (276)
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
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 [PDF]
Theory and Practice of Logic Programming, 2013 This paper provides a gentle introduction to problem-solving with the IDP3 system. The core of IDP3 is a finite model generator that supports first-order logic enriched with types, inductive definitions, aggregates and partial functions.
M. Bruynooghe +9 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
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
Cycle Detection in Computation Tree Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Temporal logic is a very powerful formalism deeply investigated and used in formal system design and verification. Its application usually reduces to solving specific decision problems such as model checking and satisfiability. In these kind of problems,
Gaëlle Fontaine +4 more
doaj +1 more source