Results 231 to 240 of about 1,788,157 (286)

General Default Logic

Annals of Mathematics and Artificial Intelligence, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhou, Yi, Lin, Fangzhen, Zhang, Yan
openaire   +2 more sources

Generalizing Deontic Action Logic

Studia Logica, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alessandro Giordani, Matteo Pascucci
openaire   +1 more source

The Logic Description Generator

[1990] Proceedings of the International Conference on Application Specific Array Processors, 2002
The authors describe the Logic Description Generator (LDG), a design tool specifically geared to aid in the implementation of systolic algorithms on reconfigurable logic arrays. It is used to specify designs for Splash, a linear array of Xilinx chips. LDG supports the notion of a logical systolic cell, which may be repetitively layed out across a chip,
Maya B. Gokhale   +3 more
openaire   +1 more source

Against logical generalism

Synthese, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nicole Wyatt, Gillman Payette
openaire   +2 more sources

The Logic of Generalized Truth Values and the Logic of Bilattices

Studia Logica, 2014
The present paper is devoted to trilattices, introduced in [\textit{Y. Shramko} and \textit{H. Wansing}, J. Philos. Log. 34, No. 2, 121--153 (2005; Zbl 1094.03012)], and in particular to the structure called SIXTEEN\(_3\). For more details we quote the summary of the article (the references within have been slightly modified): This paper sheds light on
Sergei P. Odintsov, Heinrich Wansing
openaire   +2 more sources

Kleene's Logic, Generalized

Journal of Logic and Computation, 1991
Summary: Kleene's well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices.
openaire   +1 more source

Generalized Possibilistic Logic

2011
Usual propositional possibilistic logic formulas are pairs made of a classical logic formula associated with a weight thought of as a lower bound of its necessity measure. In standard possibilistic logic, only conjunctions of such weighted formulas are allowed (a weighted classical conjunction is equivalent to the conjunction of its weighted conjuncts,
Didier Dubois, Henri Prade
openaire   +1 more source

Home - About - Disclaimer - Privacy