Results 81 to 90 of about 270,225 (234)

A Collapse Result in the Mereology of Properties

Ratio, EarlyView.
ABSTRACT I examine five principles about the metaphysics of properties, each of which has been defended in the literature: (1) the sum of properties is their corresponding conjunctive property, (2) the mereology of properties is classical, (3) properties are individuated by necessary co‐instantiation, (4) sums of objects belonging to different ...
Alejandro G. Di Rienzo
wiley   +1 more source

Poznawcze przesłanki semiozy zorientowanej na mit [PDF]

, 2019
This article addresses the cognitive premises of designation units denoting mythic concepts in a variety of texts and discourses. The article focuses on myth-oriented semiosis as a cognitive and cultural phenomenon reflected in the semantic ...
Колесник, Олександр Сергійович
core  

Banal Nationalism, 30 Years On—A Review

Nations and Nationalism, EarlyView.
Michael Billig, Michael Skey
wiley   +1 more source

The I in logic

Theoria, EarlyView.
Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley   +1 more source

Typical Examples of Atoment Language Using

Моделирование и анализ информационных систем, 2011
Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models,
I. S. Anureev
doaj  

Semantic Criteria of Correct Formalization [PDF]

, 2010
This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas ...
Lampert, Timm
core  

Is there an axiomatic semantics for standard pure prolog?

Theoretical Computer Science, 1991
A well known problem with the semantics of pure prolog programs arises from the differences between the intended declarative meaning and the operational semantics which results from the use of a particular selection rule in the process of SLD resolution. Differences which would not arise if all SLD resolution trees would be finite.
Denis, François, Delahaye, Jean-Paul
openaire   +1 more source

Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem

Theoria, EarlyView.
ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley   +1 more source

CCS Dynamic Bisimulation is Progressing

, 1991
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still woc, e.g.\ $\alpha.\tau.\beta.nil$ and $\alpha.\beta.nil$ are woc but $\tau ...
Montanari, U., Sassone, V.
core   +3 more sources

(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English

Theoria, EarlyView.
ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley   +1 more source