Filters








209,651 Hits in 3.0 sec

On the pragmatic nature of empty nominal pro in Korean null object constructions: A Relevance account

Euiyon Cho
2013 Linguistic Research  
This paper gives a Relevance account of the purely inferential nature for sloppy-like and strict readings to show that the content of pro is determined in context via inferential processes.  ...  But under Relevance theory which draws a line between logical form and what is explicated, (11) is not the logical/literal meaning of (4B), but an intermediate explicit content enriched through the saturation  ... 
doi:10.17250/khisli.30.1.201304.004 fatcat:qeju42wudze7jngc25trkgry4y

The iSeM matchmaker: A flexible approach for adaptive hybrid semantic service selection

Matthias Klusch, Patrick Kapahnke
2012 Journal of Web Semantics  
In particular, besides well-known strict logical matching filters and non-logic-based textual and structural signature matching, it adopts approximated reasoning based on logical concept abduction and  ...  We demonstrate the additional benefit of the presented approximation and the adaptive hybrid combination by example and by presenting an experimental performance analysis.  ...  Both kinds of approximated logical and non-logic-based matching are performed by iSeM in particular to compensate for strict logical signature matching failures in due course of its relevance classification  ... 
doi:10.1016/j.websem.2012.07.003 fatcat:iu2fzbullfgzrord45vzvdb3xq

Making "stricterness" more relevant

Stefan Holdermans, Jurriaan Hage
2010 Higher-Order and Symbolic Computation  
More appropriate: relevant function space, (possibly) irrelevant function space. [Faculty of Science Information and Computing Sciences] Strictness is determined by relevance and vice versa.  ...  Connections with relevance logics. Key idea: A variable x is relevant to an expression e, if any expression bound to x is guaranteed to be evaluated whenever e is evaluated.  ... 
doi:10.1007/s10990-011-9079-7 fatcat:uz2tswswhfckpf2wvbcchwc7nu

The iSeM Matchmaker: A Flexible Approach For Adaptive Hybrid Semantic Service Selection

Matthias Klusch, Patrick Kapahnke
2012 Social Science Research Network  
In particular, besides well-known strict logical matching filters and non-logic-based textual and structural signature matching, it adopts approximated reasoning based on logical concept abduction and  ...  We demonstrate the additional benefit of the presented approximation and the adaptive hybrid combination by example and by presenting an experimental performance analysis.  ...  Both kinds of approximated logical and non-logic-based matching are performed by iSeM in particular to compensate for strict logical signature matching failures in due course of its relevance classification  ... 
doi:10.2139/ssrn.3198964 fatcat:d5ju2ytd2jgj3m3vakabrbgyii

Relevant properties

Yaroslav Shramko
2003 Logic and Logical Philosophy  
with the problems of logical analysis of properties and relations.  ...  Dunn was the first who tried to apply the relevance logic to analysis of these problems. In [2] he proposed to distinguish between relevant and irrelevant predications.  ...  sketch of such an investigation) can be very useful for the analysis of many logical and methodological problems.  ... 
doi:10.12775/llp.1994.007 fatcat:sp7b6fngl5eeteedo5wb3fngou

Page 3253 of Mathematical Reviews Vol. , Issue 82h [page]

1982 Mathematical Reviews  
3253 relevant logic L and that a major plank in the relevant logical platform is that B does not entail A— A, is it not obscure what C, should be thought to have in common with deducibility in relevant  ...  Next, the author gives appropriate completeness theorems and axiomatizations of strict-implicational fragments of $4.3, I. Thomas and K. Segerberg’s logics $4.3,,, B. Sobocinski and R. I.  ... 

C.I. Lewis, E.J. Nelson, and the Modern Origins of Connexive Logic

Edwin Mares, Francesco Paoli
2019 Organon F  
Modern logic owes an important debt to C.I. Lewis and his students.  ...  Nelson's connexive logic as an attempt to formalise the notion of entailment while avoiding the paradoxes of strict implication.  ...  It is interesting to compare Nelson's conjunction with the intensional conjunction of relevant and linear logic. The intensional conjunction of relevant and linear logic is called "fusion".  ... 
doi:10.31577/orgf.2019.26304 fatcat:zzvuz2wugjartf3ykckxffxzzu

Making "stricterness" more relevant

Stefan Holdermans, Jurriaan Hage
2010 Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10  
Interaction between relevance and strictness Strictness is determined by relevance and vice versa.  ...  Connections with relevance logics. Key idea: A variable x is relevant to an expression e, if any expression bound to x is guaranteed to be evaluated whenever e is evaluated.  ... 
doi:10.1145/1706356.1706379 dblp:conf/pepm/HoldermansH10 fatcat:b75bnrmxnncttexjj5ukdoy3ou

Methods and Criteria of Reasoning: An Inquiry into the Structure of Controversy. Rupert Crawshay-Williams

Clyde Laurence Hardin
1960 Philosophy of Science  
employment of expressions’’—a “‘logical’’ investigation whose ground-rules are seldom made explicit: To this extent, then, analysis is becoming overtly less logical than it used to be.  ...  of the relevant information seems to be available.  ... 
doi:10.1086/287757 fatcat:vohgn7jcnrbzrhwyesygh355vi

Perspectives on program analysis

Flemming Nielson
1997 SIGPLAN notices  
To guide the research efforts in the area of program analysis it is necessary to provide a taxonomy of the various approaches (identifying strengths and weaknesses), and to explore the links to programming  ...  languages and theoretical computer science.  ...  for neededness analysis it might perform a strictness analysis and use the strictness information for neededness (or make use of the "absence" notion from projection analysis and attempt to discover the  ... 
doi:10.1145/251595.251604 fatcat:za43mg4fdbgczbocclrb6q7i6m

Perspectives on program analysis

Flemming Nielson
1996 ACM Computing Surveys  
To guide the research efforts in the area of program analysis it is necessary to provide a taxonomy of the various approaches (identifying strengths and weaknesses), and to explore the links to programming  ...  languages and theoretical computer science.  ...  for neededness analysis it might perform a strictness analysis and use the strictness information for neededness (or make use of the "absence" notion from projection analysis and attempt to discover the  ... 
doi:10.1145/242224.242441 fatcat:z2zpff6sanfnnb4i2p5slwqeie

Page 160 of Ethics Vol. 43, Issue 2 [page]

1933 Ethics  
An objective judgment is a true judgment, one whose content and logical motivation are relevant to its object.  ...  These formulations and this opinion in- evitably introduce formal logical questions about the meaning of such terms as “relevant,” “rational,” “arbitrary,” “objec- tive,” and “subjective”; I do not see  ... 

A survey of logic formalisms to support mishap analysis

Chris Johnson, C.M. Holloway
2003 Reliability Engineering & System Safety  
This paper provides an overview of these mishap logics. It also identifies several additional classes of logic that might also be used to support mishap analysis.  ...  We introduce the term 'mishap logics' to collectively describe these notation that might be applied to support the analysis of mishaps.  ...  UK Engineering and Physical Sciences Council grant (EPSRC GR/M98302) has provided additional support.  ... 
doi:10.1016/s0951-8320(03)00053-x fatcat:xg4b4lpe35c47j3ue5r3k4eilu

Page 175 of American Mathematical Society. Bulletin of the American Mathematical Society Vol. 44, Issue 3 [page]

1938 American Mathematical Society. Bulletin of the American Mathematical Society  
The notion of strict implication, as used in the Lewis logic of modalities, yields one such instance.  ...  Carnap, in the last section of this book, shows how many fake problems and misunderstandings can be cleared up by such an analysis of sentences.  ... 

Page 35 of Mathematical Reviews Vol. , Issue 2001A [page]

2001 Mathematical Reviews  
In Section 2 below, I present four basic systems of monadic relevant deontic logic that can be analyzed with familiar methods of relevant modal logics and shown to be sound and complete.  ...  Andrews) Hugh MacColl and the algebra of strict implication. (English summary) Hugh MacColl and the tradition of logic (Greifswald, 1998). Nordic J. Philos. Logic 3 (1998), no. 1-2, 59-83 (1999).  ... 
« Previous Showing results 1 — 15 out of 209,651 results