Results 21 to 30 of about 1,395,634 (216)
Between quantum logic and concurrency [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events. If every
Luca Bernardinello +2 more
doaj +1 more source
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) [PDF]
International Journal of Computational Intelligence Systems, 2013 One of key issues for -() ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the -() ary resolution of some generalized literals.
Yi Liu, Hairui Jia, Yang Xu
doaj +1 more source
Regular Partial Residuated Lattices and Their Filters
Mathematics, 2022 To express wider uncertainty, Běhounek and Daňková studied fuzzy partial logic and partial function. At the same time, Borzooei generalized t-norms and put forward the concept of partial t-norms when studying lattice valued quantum effect algebras. Based
Nan Sheng, Xiaohong Zhang
doaj +1 more source
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Bulletin of the Section of Logic, 2022 The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo +1 more
doaj +1 more source
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles.
Favio Ezequiel Miranda-Perea +1 more
doaj +1 more source
, 1980 PART I (Partial-valued Languages): In Chapter I we consider modes of sentence composition and ask what 'truth-functionality' is functionality in two values, when there is also a third classification for meaningful sentences, An answer to this question ...
Blamey, S +2 more
core +1 more source
A Linguistic-Valued Approximate Reasoning Approach for Financial Decision Making
International Journal of Computational Intelligence Systems, 2017 In order to process the linguistic-valued information with uncertainty in the financial decision- making, the present work uses a lattice-valued logical algebra - lattice implication algebra to deal with both comparable and incomparable linguistic truth ...
Xin Liu, Ying Wang, Xiaonan Li, Li Zou
doaj +1 more source
A Comparison between Lattice-Valued Propositional Logic LP(X) and Gradational Lattice-Valued Propositional Logic Lvpl [PDF]
Proceedings on Intelligent Systems and Knowledge Engineering (ISKE2007), 2007 In order to provide a logical foundation for uncertain information processing theory, especially for the fuzziness, the incomparability uncertain information in the reasoning, Xu presented the lattice implication algebra by combining lattice and implication algebra in 1993 [1].
Xiqing Long +3 more
openaire +1 more source
Operator valued Dirichlet problem in the plane [PDF]
, 2012 We consider an operator valued Dirichlet problem for harmonic mappings and prove the existence of a Perron-like solution. To formulate the Perron’s construction we make use of Olson’s notion of spectral order.
Göğüş, Nihat Gökhan
core +3 more sources
Consequence and complexity in infinite-valued logic: a survey
, 2002 In general, every logic L comes equipped with a syntax, a semantics, and an algorithmic procedure. In some cases, formulae up to equivalence form an interesting class of algebraic structures.
V. Marra, D. Mundici
core +1 more source