Predicate Logic
18 Followers
Recent papers in Predicate Logic
An introduction to the formal approach that underlies university mathematics. Topics covered are: Sets and Logic, Relations and Functions, Number Systems, Infinity. The book has arisen out of a first year course taught to Mathematics... more
Abstract. In this paper we introduce a notion of context for Groenendijk & Stokhof's Dynamic Predicate Logic DPL. We use these contexts to give a characterization of the relations on assignments that can be generated by composition... more
In this text we will briefly discuss some examples of the influence of the chosen philosophy and epistemology leading in a natural way to a change in research paradigm and consequently to a change in methods of linguistic description. We... more
Historical and philosophical background providing justification for an alternative understanding of nothingness that can serve as the basis for an alternative to the empty set and the number 0. Nonexistence arises from using the... more
Course Objectives: This course is an intermediate-level study of symbolic logic in which students will learn the methods of direct proof, conditional proof, and indirect proof as they are used in proposition logic and predicate logic. The... more
Semantic tableau is a proof system used to prove the validity of a formula using Prolog, it can also be used to prove if a formula is a logic consequence of a set of formulas. Semantic tableau is used in both propositional and predicate... more
The paper presents predicates describing abstractions between concepts/classes and between instances/objects. The abstractions considered are: - Generalization (is-a) - Aggregation (is-part-of) - Grouping (is-element-of) - Instantiation... more
Robert Brandom holds that what we mean is best understood in terms of what inferences we are prepared to defend, and that such a defence is best understood in terms of rule-governed social interactions. This manages to explain quite a... more
In his 1967 paper Vaught used an ingenious argument to show that every recursively enumerable first order theory that directly interprets the weak system VS of set theory is axiomatizable by a scheme. In this paper we establish a... more
In the world of designing network protocols, verification is a crucial step to eliminate weaknesses and inaccuracies of effective network protocols. There are many models and tools to verify network protocols, including, Finite State... more
In Artificial Intelligence, knowledge representation is a combination of data structures and interpretive procedures that leads to knowledgeable behavior. Therefore, it is required to investigate such knowledge representation technique in... more
Web services-- Web-accessible programs and devices – are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services... more
Temporal specifications are often used when phenomena are modelled where dynamics play a main role. If simulation is one of the aims of modelling, usually a restricted, executable modelling language format is used, based on some form of... more
Второе издание статьи, опубликовано: Шиян Т.А. О становлении грамматических категорий языка логики предикатов // Философия. Язык. Культура. Вып. 3 / Отв. ред. В. В. Горбатов. СПб.: Алетейя, 2012. С. 78–89. (0,5 а.л.). Первая публикация:... more