Results 21 to 30 of about 174,060 (272)

Criterion of Completeness and Submaximal Ultraclones for Linear Hyperfunctions of Rank 2

Известия Иркутского государственного университета: Серия "Математика", 2023
In recent years, the direction associated with the study of maps from a finite set A to the set of all subsets of the set A, including the empty one, has been intensively developing. Such mappings are called multifunctions on A, as well as hyperfunctions
I.K. Sharankhaev
doaj   +1 more source

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, Carlo Ferigato, Lucia Pomello   +2 more
doaj   +1 more source

Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

Bulletin of the Section of Logic, 2020
Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean four-valued ...
Alexej P. Pynko
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, Hanamantagouda P. Sankappanavar   +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, Lourdes del Carmen González-Huesca   +1 more
doaj   +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

Algebraic semantics for one-variable lattice-valued logics

, 2022
The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, respectively. In several cases, axiomatizations of algebraic semantics for these logics have been obtained: most notably, for the modal counterparts S5 and MIPC of the one ...
Cintula, Petr, Metcalfe, George, Tokuda, Naomi   +2 more
openaire   +2 more sources

Categorical study for Algebras of lattice-valued logic and lattice-valued modal logic

, 2018
The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean systems, and then we study co-adjointness, adjointness of functors. As a result, we get a duality for algebras of lattice-valued logic.
Ray, Kumar Sankar, Das, Litan Kumar
openaire   +2 more sources