Filters








93 Hits in 4.6 sec

Page 4879 of Mathematical Reviews Vol. , Issue 2004f [page]

2004 Mathematical Reviews  
Dimit”r] (BG-SOFIM-ALG; Sofia) A modal logic for indiscernibility and complementarity in information systems.  ...  The modal analysis of indiscernibility and comple- mentarity is performed through a modal logic in which modalities correspond to indiscernibility relations and complementarity rela- tions in information  ... 

A hierarchy of modal logics with relative accessibility relations

Philippe Balbiani, Ewa Orlowska
1999 Journal of Applied Non-Classical Logics  
We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness.  ...  In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations.  ...  Acknowledgement Special acknowledgement is heartly granted to St ephane Demri who made several helpful comments for improving the readability of the paper.  ... 
doi:10.1080/11663081.1999.10510969 fatcat:qh2gk6jcizhixftt4hjnjvthae

Rasiowa–Sikorski deduction systems in computer science applications

Beata Konikowska
2002 Theoretical Computer Science  
The author describes a general method of applying the R-S formalism to develop complete deduction systems for various brands of C.S and A.I. logic, including a logic for reasoning about relative similarity  ...  A Rasiowa-Sikorski system is a sequence-type formalization of logics.  ...  Acknowledgements The author wishes to express her gratitude to the anonymous referees for their very thorough refereeing work and many constructive suggestions, which helped her prepare an improved ÿnal  ... 
doi:10.1016/s0304-3975(01)00320-6 fatcat:x4yl3frahneypepxziunc6ykny

Page 561 of Mathematical Reviews Vol. , Issue 2003A [page]

2003 Mathematical Reviews  
- ysis of indiscernibility and complementarity in information systems (772-781); Sébastien Ferré, Complete and incomplete knowledge in logical information systems (782-791); E.  ...  Lluis Godo, A proof procedure for possibilistic logic programming with fuzzy constants (760-771); Philippe Balbiani and Dimiter Vakarelov [Dimit”r Vakarelov], First-order characterization and modal anal  ... 

A multimodal logic for reasoning about complementarity

Ivo Düntsch, Beata Konikowska
2000 Journal of Applied Non-Classical Logics  
Acknowledgement We should like to thank the anonymous referee for thoughtful and constructive remarks.  ...  In this paper we will develop two complete formal systems of modal logic for reasoning about relative complementarity relations.  ...  In his paper, we have studied relations We have presented multimodal logics for these families of complementarity relations along with two sound and complete deduction systems.  ... 
doi:10.1080/11663081.2000.10511000 fatcat:uvpv47nfvrgs3jm2uxzpesrf3e

An Application of Paraconsistent Logic to Physics: Complementarity [chapter]

Newton C. A. da Costa, Décio Krause
2016 Intelligent Systems Reference Library  
As a case-study, we present a reconstruction of P. -D. Février's 'logic of complementarity' as a strict three-valued logic and also a paraconsistent version of it.  ...  At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed 'paraclassical logic'.  ...  Although Février did not develop her logic in detail, she made some interesting remarks on complementarity, based on her informal discussion.  ... 
doi:10.1007/978-3-319-40418-9_3 fatcat:ifu373dyyzh6dctgydqmnd35d4

The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings [chapter]

Davide Ciucci, Didier Dubois, Henri Prade
2014 Lecture Notes in Computer Science  
Rough set theory (RST) and formal concept analysis (FCA) are two formal settings in information management, which have found applications in learning and in data mining.  ...  Besides, a rough set is a pair of lower and upper approximations of a set of objects induced by an indistinguishability relation; in the simplest case, this relation expresses that two objects are indistinguishable  ...  We will better develop this issue in the following section. See also [44] for a modal logic reading of FCA and RST.  ... 
doi:10.1007/978-3-319-04939-7_7 fatcat:mzx5uvoc4zebxhc2hc7pvptkd4

Grounding the randomness of quantum measurement

Gregg Jaeger
2016 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
One contribution of 14 to a theme issue 'Quantum foundations: information approach' .  ...  and a grounding for these in a logically prior principle, 'plenitude', is provided.  ...  Thus, M(a , b ) is indiscernible from the compound process of the annihilation of a system in the state b followed by the creation of a system in the state a : M(a , b ) = Ψ (a )Φ(b ). (3.28) The extension  ... 
doi:10.1098/rsta.2015.0238 pmid:27091162 fatcat:77buoue5fjh5bmbhdpuv5px7la

Fuzzy Sets: History and Basic Notions [chapter]

Didier Dubois, Walenty Ostasiewicz, Henri Prade
2000 Fundamentals of Fuzzy Sets  
Indeed, Zadeh's works have cristalized and popularized a concern that has appeared in the first half of the century, mainly in philosophical circles.  ...  Lastly, a survey of variants of fuzzy sets and related matters is provided.  ...  In fact, besides the modality possible, Aristotle already considered other so-called modal expressions like impossible, and necessary, giving the base for the so-called modal logic, for which the negation  ... 
doi:10.1007/978-1-4615-4429-6_2 fatcat:sboduqw2l5a4beutph36bfynku

Two basic double-quantitative rough set models of precision and grade and their investigation using granular computing

Xianyong Zhang, Duoqian Miao
2013 International Journal of Approximate Reasoning  
First, the model regions (MR granules) and basic model regions (BMR granules) are defined in the traditional fashion using logical double-quantitative semantics; basic semantics (BS) is provided for the  ...  Two basic algorithms for computing the MR and BMR granules are proposed and analyzed, and the BMRC-granules algorithm generally exhibits superior performance in terms of the temporal and spatial complexity  ...  Acknowledgements The authors thank both the editors and the anonymous referees for their valuable suggestions, which substantially improved this paper.  ... 
doi:10.1016/j.ijar.2013.02.005 fatcat:yeci5e5n4bdkjbyynedeqg3ncy

MATHEMATICS, QUANTIFIERS, CONNECTIVES, MULTIPLE MODELS

Rosanna Festa
2020 International journal of research in science and technology  
in mathematics and general intelligent machines.  ...  This focus evolves around the concept of mathematics and its components and the importance of connectives for mathematics applied to calculators.Symbols and synthesis are enrolled to notice their rule  ...  If the logic and mathematical systems follow more than a direction, do not exist an attitude to commutation, for example, for the analogic systems.  ... 
doi:10.37648/ijrst.v10i02.005 fatcat:ih7el2lxgfeqfffulxvrm43zyy

The Emergence of Fuzzy Sets: A Historical Perspective [chapter]

Didier Dubois, Henri Prade
2016 Studies in Fuzziness and Soft Computing  
in a possibilistic logic setting.  ...  The continued effort by Zadeh to apply fuzzy sets to the basic notions of a number of disciplines in computer and information sciences proved crucial in the diffusion of this concept from mathematical  ...  The links and differences between modal logic and possibility theory have been a matter of debates, not always well-focused, for a long time; see [91] for a recent position paper by Zadeh.  ... 
doi:10.1007/978-3-319-31093-0_1 fatcat:zc63ekhuend2ddmj5tvor5m7yq

The Mathematics of Non-Individuality [chapter]

Steven French, Décio Krause
2006 Identity in Physics  
The electron is infinite, capricious, and free, and does not at all share our love for algorithms." Yu. I. Manin, A course in mathematical logic, Springer, 1977, pp. 82-3.  ...  The development of the foundations of physics in the twentieth century has taught us a serious lesson.  ...  Anyway, it is a pertinent philosophical question to look for the kind of 'logic' these indiscernible entities do obey.  ... 
doi:10.1093/0199278245.003.0007 fatcat:kv4nnzmwwndlhnde3gcmcx2cmm

Dynamic and stochastic systems as a framework for metaphysics and the philosophy of science

Christian List, Marcus Pivato
2019 Synthese  
Our framework is intended to serve as a toolbox for the formal analysis of systems that is applicable in several areas of philosophy.  ...  as Occam's Razor help when we make such inferences; what is the role of space and time in a system; and might they be emergent features?  ...  reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s11229-019-02231-8 pmid:34759434 pmcid:PMC8570365 fatcat:urbsst6mdjefnjqxexqrtistgy

Reflective inquiry and "The Fate of Reason"

William Boos
2014 Synthese  
may 'inform' and (re)interpret such regulative systems and their notions of 'causality'.  ...  In "Virtual Modality" (2003b), I defined an adequate 'virtual' semantics for alethic modal assertions in a given theory T, in which 'worlds' W T are boolean-valued extensions of an 'initial' placeholder  ... 
doi:10.1007/s11229-014-0533-z fatcat:fyl534jf2rdm7go4rigf3hxare
« Previous Showing results 1 — 15 out of 93 results