Results 291 to 300 of about 2,250,044 (344)
Some of the next articles are maybe not open access.
Substitution inconsistencies in Transparent Intensional Logic
Journal of Applied Non-Classical Logics, 2021This paper presents several important results for Transparent Intensional Logic (TIL). The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction...
openaire +1 more source
Belief, Substitution, and Logical Structure
Noûs, 1995How best are we to understand the significance-for a proper account of meaning and propositional attitude content-of the sorts of considerations to which Frege appeals in order to individuate Gedanken, considerations that reveal differences in the cognitive significance of different sentences?
openaire +1 more source
6.4 RETHINKING THE LOGIC OF PENAL SUBSTITUTION
Philosophy of religion, 2001Steven L. Porter
semanticscholar +2 more sources
Logic of proofs with substitution
Mathematical Notes, 2007The substitution operation in logic of proofs is axiomatized. For the system constructed, symbolic semantics is introduced and a completeness theorem is proved.
openaire +1 more source
1998
Abstract 1905 was a watershed year for Russell. By its end he had developed an intensional calculus for the logic of propositions adequate to proxy a type regimented theory which employs predicate variables in subject as well as predicate positions. The theory affords a proxy for a theory of classes and relations-in-extension.
openaire +1 more source
Abstract 1905 was a watershed year for Russell. By its end he had developed an intensional calculus for the logic of propositions adequate to proxy a type regimented theory which employs predicate variables in subject as well as predicate positions. The theory affords a proxy for a theory of classes and relations-in-extension.
openaire +1 more source
Associative Substitutional Semantics and Quantified Modal Logic
Studia Logica, 2010For the semantical approach to quantified modal logic several philosophical problems have been discussed so far, particularly on the interpretation of objectual domains concerning, for instance, possibilia, trans-world identity, and so on. By surveying these problems, the author emphasizes that modal sentences are not to be understood referentially as ...
openaire +2 more sources
Binary image algebra representations of optical cellular logic and symbolic substitution
Annual Meeting Optical Society of America, 1987Binary image algebra (BIA) provides a systematic mathematical formalism for both digital optical cellular logic and symbolic substitution processors, in addition to being a unified theory of parallel binary image processing.1 Cellular logic operations ...
Kung-Shiuh Huang +2 more
semanticscholar +1 more source
The Millennium Development Goals and Education: Accountability and Substitution in Global Assessment
International Organization, 2019Precise international metrics and assessments may induce governments to alter policies in pursuit of more favorable assessments according to these metrics. In this paper, we explore a secondary effect of global performance indicators (GPIs).
J. Bisbee +3 more
semanticscholar +1 more source
Logic of predicates with explicit substitutions
1996We present a non-commutative linear logic — the logic of predicates with equality and explicit substitutions. Thus, the position of linear logic with respect to the usual logic is given a new explanation.
openaire +1 more source
Dataflow for logic program as substitution manipulator
Proceedings of the international symposium on Symbolic and algebraic computation, 1990This paper shows a method of constructing a dataflow, which denotes the deductions of a logic program, by means of a sequence domain based on equivalence classes of substitutions. The dataflow involves fair merge functions to represent unions of atom subsets over a sequence domain, as well as functions as manipulations of unifiers for the deductions of
openaire +1 more source