Results 261 to 270 of about 505,512 (306)
Some of the next articles are maybe not open access.
On Łukasiewicz's Four-Valued Modal Logic
Studia Logica, 2002The aim of this paper is to survey and analyze Łukasiewicz's four-valued modal logic (denoted as Ł). Section 2 presents Łukasiewicz's system Ł, some mathematical results concerning the classification of the system Ł under several standard criteria, and its main semantic and algebraic properties. The authors outline the translation mapping between Ł and
Font, Josep Maria, Hájek, Petr
openaire +1 more source
Fundamenta Informaticae, 1991
Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given
openaire +2 more sources
Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given
openaire +2 more sources
Many‐Valued Modal Propositional Calculi
Mathematical Logic Quarterly, 1988This paper discusses three modal many-valued propositional calculi, viz. \({}_ nT\), \({}_ nS4\) and \({}_ nS5\) (n\(\in {\mathbb{N}})\). Semantical and syntactical characterizations of these logics are given. An n-valued Kripke model is a triple \(\), where W is a nonempty set, the elements of which are called possible worlds, R is a binary relation ...
openaire +2 more sources
Fundamenta Informaticae, 2020
In this paper we investigate the Hennessy-Milner property for models of many-valued modal logics defined based on complete MTL-chains having many-valued accessibility relations. Our main result gives a necessary and sufficient algebraic condition for the class of image-finite models for such modal logics to admit the Hennessy-Milner property.
openaire +1 more source
In this paper we investigate the Hennessy-Milner property for models of many-valued modal logics defined based on complete MTL-chains having many-valued accessibility relations. Our main result gives a necessary and sufficient algebraic condition for the class of image-finite models for such modal logics to admit the Hennessy-Milner property.
openaire +1 more source
Belnap–Dunn Modal Logic with Value Operators
Studia Logica, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lin, Yuanlei, Ma, Minghui
openaire +1 more source
Value of diagnostic imaging modalities in traumatology
Der Orthopäde, 1997Radiography is still the basic imaging method in traumatology and orthopedics. However, technical improvements and new imaging modalities may partially replace the conventional diagnostic imaging strategies. This review describes actual indications of x-ray examination, computed tomography (CT), ultrasonography and magnetic resonance imaging (MRI). New
K, Wolf, K, Bohndorf
openaire +2 more sources
The Modalized Many-Valued Logic
2018 14th International Conference on Semantics, Knowledge and Grids (SKG), 2018The intermediate logic is a three-valued logic proposed by Zhu. A modalized many-valued logic will be proposed in this paper which the unary connective @ $i$ is taken as a modality and a Gentzen-typed deduction system will be given so that the the system is sound and complete with the linearly many-valued semantics of the many-valued logic,
Chen Bo +5 more
openaire +1 more source
Lung Cancer: Value of Various Imaging Modalities
Clinical Lung Cancer, 1999Bronchogenic carcinoma is the leading cause of cancer death, and the overall prognosis remains poor. Imaging plays a critical role in the initial staging and follow-up of the disease. Bronchogenic carcinoma is typically detected first on chest radiography but computed tomography (CT) scan is the most important imaging technique, providing both staging ...
R, Rivera-Garcia +2 more
openaire +2 more sources
2012
U tjelesnom i zdravstvenom odgojno-obrazovnom području pojam kinantropološka obilježja se upotrebljava kao zajednički naziv za morfološka obilježja, motoričke i funkcionalne sposobnosti učenika. Ove osobine učenika u tjelesnom i zdravstvenom području desetljećima su nazivane antropološka obilježja, što u kontekstu uporabe u tjelesnom i zdravstvenom ...
Neljak, Boris +2 more
openaire
U tjelesnom i zdravstvenom odgojno-obrazovnom području pojam kinantropološka obilježja se upotrebljava kao zajednički naziv za morfološka obilježja, motoričke i funkcionalne sposobnosti učenika. Ove osobine učenika u tjelesnom i zdravstvenom području desetljećima su nazivane antropološka obilježja, što u kontekstu uporabe u tjelesnom i zdravstvenom ...
Neljak, Boris +2 more
openaire
(n+1)-valued modal implicative semilattices
[1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic, 2003The equational class of (n+1)-valued modal implicative semilattices is defined and investigated. These algebras are the natural generalization of three-valued modal implicative semilattices. A characterization of (n+1)-valued Post algebras is given. >
M.C. Canals Frau, A.V. Figallo
openaire +1 more source