Filters








150,319 Hits in 3.7 sec

From Focalization of Logic to the Logic of Focalization

Michele Basaldella, Alexis Saurin, Kazushige Terui
2010 Electronical Notes in Theoretical Computer Science  
Andreoli originally discovered focalization as a concrete proof search strategy in proof theory of linear logic, putting to the foreground the role of polarity in logic.  ...  The aim of the present paper is to give a more abstract account on focalization in the framework of ludics.  ...  Introduction Focalization is a deep outcome of linear logic (LL) proof theory, putting to the foreground the role of polarity in logic.  ... 
doi:10.1016/j.entcs.2010.08.010 fatcat:knwkldyquzhzdeymgefo42q3ne

On the Meaning of Focalization [chapter]

Michele Basaldella, Alexis Saurin, Kazushige Terui
2011 Lecture Notes in Computer Science  
Introduction Focalization is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic.  ...  Focalization can then be expressed as a mapping from the latter to the former behaviour.  ...  Then, Focalization can be expressed as the existence of a section-retraction pair from Q to P with u αβ as section. The focalizing-design f.  ... 
doi:10.1007/978-3-642-19211-1_5 fatcat:2jqf6is5t5dzlnbb57hhjbii2q

From individual social capital to collective social capital: empirical evidence from inter-firm financing trust network

Bao Wu
2018 The Journal of Chinese Sociology  
network; and the latter logic, which is strengthened by classification homogeneity, would encourage the focal firm to trust unspecified business partners, leading firms to become part of a large-scale  ...  operations and the logic of social prestige recognition.  ...  The author also thanks the supports for the research leading to this paper from Zhejiang Province Collaborative Innovation Center of Micro, Small and Medium Enterprises' Transformation and Upgrading, and  ... 
doi:10.1186/s40711-018-0088-3 fatcat:pagnoj2wdzhcpjq454akxi74ym

Institutional Complexity and Individual Responses: Delineating the Boundaries of Partial Autonomy

Graham Martin, Graeme Currie, Simon Weaver, Rachael Finn, Ruth McDonald
2016 Organization Studies  
From its foundations in neo-institutionalism, the institutional logics 40 perspective has rapidly advanced to theorize how diverse institutional forces not only 41 compete for dominance, but also frequently  ...  the level of the field but above that of the actor, that worked to constrain or 27 facilitate agency.  ...  Acknowledgements 895 We would like to thank three anonymous referees, and senior editor Charlene Zietsma, for 896 their critical engagement with earlier drafts of our paper.  ... 
doi:10.1177/0170840616663241 fatcat:ucjnkjuhgbblfep7xuhq7qlfoy

Belief semantics of authorization logic

Andrew K. Hirsch, Michael R. Clarkson
2013 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13  
The belief semantics yields a direct representation of principals' beliefs, without resorting to the technical machinery used in Kripke semantics.  ...  A proof system is given for the logic; that system is proved sound with respect to the belief and Kripke semantics. The soundness proofs are mechanized in Coq.  ...  The Kripke semantics of FOCAL was created while Clarkson was a postdoctoral researcher at Cornell.  ... 
doi:10.1145/2508859.2516667 dblp:conf/ccs/HirschC13 fatcat:5xwb6ris5nfytc7a6yqduqyy74

Belief Semantics of Authorization Logic [article]

Andrew K. Hirsch, Michael R. Clarkson
2013 arXiv   pre-print
Authorization logics have been used in the theory of computer security to reason about access control decisions. In this work, a formal belief semantics for authorization logics is given.  ...  A proof system is given for the logic; that system is proved sound with respect to the belief and Kripke semantics.  ...  Schneider consulted on the design of the proof system and the Kripke semantics.  ... 
arXiv:1302.2123v3 fatcat:h2rbqglozjecdmmqght2h3yjpm

FOCAL DEPENDENCE, LOGICAL PRIORITY AND THE UNITY OF ARISTOTLE'S METAPHYSICS

Gastón Robert
2021 Kriterion  
This article aims to refute this kind of approach to the problem of the unity of Aristotle's metaphysics by arguing that (i) relations of focal meaning entail the logical (definitional) priority of the  ...  , (iii) the changeless and separate substance is not focally prior to (the focal meaning of) substance.  ...  Acknowledgements I want to thank Dr. Joachim Aufderheide and Dr. Jorge Torres for their helpful comments and advice throughout the writing of this article.  ... 
doi:10.1590/0100-512x2021n14801gr fatcat:aluq6b3r2rh3vogsm4cipuhkaq

Structural Focalization

Robert J. Simmons
2014 ACM Transactions on Computational Logic  
In this paper, we present a focused sequent calculus for propositional intuitionistic logic and prove the focalization property relative to a standard presentation of propositional intuitionistic logic  ...  Compared to existing approaches, the proof is quite concise, depending only on the internal soundness and completeness of the focused logic.  ...  We present a new proof of the completeness of focusing (the focalization property, Theorem 4) for intuitionistic logic; the proof of the focalization property follows from the internal soundness and completeness  ... 
doi:10.1145/2629678 fatcat:vvsqaixxbjhv7ookxa6iv7wipe

Structural focalization [article]

Robert J. Simmons
2014 arXiv   pre-print
In this paper, we present a focused sequent calculus for propositional intuitionistic logic and prove the focalization property relative to a standard presentation of propositional intuitionistic logic  ...  Compared to existing approaches, the proof is quite concise, depending only on the internal soundness and completeness of the focused logic.  ...  Frank Pfenning's insights, particularly his Twelf formulation of identity expansion for a weakly focused logic (which preceded the formal on-paper formulation by several years), were particularly invaluable  ... 
arXiv:1109.6273v7 fatcat:rifwvp2tpzfc7hpqinjwzyj5rm

FoCaLiZe and Dedukti to the Rescue for Proof Interoperability [chapter]

Raphaël Cauderlier, Catherine Dubois
2017 Lecture Notes in Computer Science  
To relate the independently developed mathematical libraries used in proof assistants, we rely on the structuring features offered by FoCaLiZe, in particular parameterized modules and inheritance to build  ...  We propose in this paper a methodology to combine proofs coming from different theorem provers.  ...  In order to translate back the proof in the combined logic to one of the original systems, we need to remove from the proof the use of unnecessary axioms of the other system.  ... 
doi:10.1007/978-3-319-66107-0_9 fatcat:beu3aksuingwzeiz54wiijundu

Page 278 of The American Journal of Psychology Vol. 38, Issue 2 [page]

1927 The American Journal of Psychology  
and with the shift in focality an occasional rise to logical meaning.  ...  Up to a certain moment the slower change in the pattern of the over- lay is non-focal, it belongs to the total pattern and is part of the same unity.  ... 

A new computational measurement and optimization approach for DSmT

Hongfei Li, Jinran Wang, Hongbin Jin, Kangsheng Tian, Zhongliang Jing
2017 2017 20th International Conference on Information Fusion (Fusion)  
The original evidence is reduced to keep the effective focal elements. And the focal element relationship is integrated into evidence code to realize self-adaption for combination of focal elements.  ...  A new DSmT computational optimization approach is presented to solve the problems. The proposed approach optimizes the original evidence and combination of focal elements.  ...  THE PROBLEMS OF EXISTING METHODS From 1980s the experts started to study the approximate method of DST theoretically [1] .  ... 
doi:10.23919/icif.2017.8009698 dblp:conf/fusion/LiWJTJ17 fatcat:4f3nrf35lzarvi67iqwnfoutfm

Fact-driven Logical Reasoning [article]

Siru Ouyang, Zhuosheng Zhang, Hai Zhao
2021 arXiv   pre-print
Logical reasoning, which is closely related to human cognition, is of vital importance in human's understanding of texts.  ...  Therefore, we argue that the natural logic units would be the group of backbone constituents of the sentence such as the subject-verb-object formed "facts", covering both global and local knowledge pieces  ...  Effects of Fact Units Numbers To inspect how the proposed FOCAL REASONER helps with logical reasoning, we investigate the effects of the number of fact units.  ... 
arXiv:2105.10334v1 fatcat:zbwvr4la4rgnnpoe2vloktnewq

Page 636 of SMPTE Motion Imaging Journal Vol. 86, Issue 9 [page]

1977 SMPTE Motion Imaging Journal  
Use of a supply voltage range differ- ent from the usual 0 to +5 range makes it awkward to use this family in association with other logic devices.  ...  It is virtually impossible to explain the unique properties of I°L circuits with schematic diagrams alone, since most of the advantages of this family result from the use of new (and simple) physical structures  ... 

ANFIS Definition of Focal Length for Zoom Lens via Fuzzy Logic Functions [chapter]

Bahadır Ergün, Cumhur Sahin, Ugur Kaplan
2017 Modern Fuzzy Control Systems and Its Applications  
The aim of this chapter is to explore usability of fuzzy logic on calibration of digital cameras.  ...  The test field has been imaged from five points of view with the digital camera Nikon Coolpix-E8700 within maximum (71.2 mm) and minimum (8.9 mm) focal length.  ...  images to be determined for the project must be taken from the same focal length.  ... 
doi:10.5772/67823 fatcat:uslcljhfo5fwrjvb2okullyyj4
« Previous Showing results 1 — 15 out of 150,319 results