Switch to: References

Add citations

You must login to add citations.
  1. Logics for Physarum Chips.Andrew Schumann & Krzysztof Pancerz - 2016 - Studia Humana 5 (1):16-30.
    The paper considers main features of two groups of logics for biological devices, called Physarum Chips, based on the plasmodium. Let us recall that the plasmodium is a single cell with many diploid nuclei. It propagates networks by growing pseudopodia to connect scattered nutrients. As a result, we deal with a kind of computing. The first group of logics for Physarum Chips formalizes the plasmodium behaviour under conditions of nutrient-poor substrate. This group can be defined as standard storage modification machines. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Natural Density and the Quantifier “Most”.Selçuk Topal & Ahmet Çevik - 2020 - Journal of Logic, Language and Information 29 (4):511-523.
    This paper proposes a formalization of the class of sentences quantified by most, which is also interpreted as proportion of or majority of depending on the domain of discourse. We consider sentences of the form “Most A are B”, where A and B are plural nouns and the interpretations of A and B are infinite subsets of \. There are two widely used semantics for Most A are B: \ > C \) and \ > \dfrac{C}{2} \), where C denotes (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Logics of Transitive Verbs With and Without Intersective Adjectives.Selçuk Topal - 2018 - Studia Humana 7 (1):31-43.
    The purpose of this paper is to contribute to the natural logic program which invents logics in natural language. This study presents two logics: a logical system called d R containing transitive verbs and a more expressive logical system R containing both transitive verbs and intersective adjectives. The paper offers three different set-theoretic semantics which are equivalent for the logics.
    Download  
     
    Export citation  
     
    Bookmark  
  • Equivalential Structures for Binary and Ternary Syllogistics.Selçuk Topal - 2018 - Journal of Logic, Language and Information 27 (1):79-93.
    The aim of this paper is to provide a contribution to the natural logic program which explores logics in natural language. The paper offers two logics called \ \) and \ \) for dealing with inference involving simple sentences with transitive verbs and ditransitive verbs and quantified noun phrases in subject and object position. With this purpose, the relational logics are introduced and a model-theoretic proof of decidability for they are presented. In the present paper we develop algebraic semantics of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations