Results 271 to 280 of about 12,692 (304)
Some of the next articles are maybe not open access.
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,
Ma Changhui +5 more
openaire +1 more source
1997
Discourse Representation Theory (DRT) was proposed by Kamp (1981) to provide a promising framework for discourse semantics. DRT can deal with several important topics in natural language semantics, e.g. anaphora, tense and belief; see Asher (1986, 1993) and Heim (1982).
openaire +2 more sources
Discourse Representation Theory (DRT) was proposed by Kamp (1981) to provide a promising framework for discourse semantics. DRT can deal with several important topics in natural language semantics, e.g. anaphora, tense and belief; see Asher (1986, 1993) and Heim (1982).
openaire +2 more sources
2001
Many-valued logic is a vast field with hundreds of published papers and numerous monographs devoted to it. I have attempted to keep this survey to manageable length by focusing on many-valued logic as an independent discipline. This means that such topics as the use of many-valued logics for proving the independence of axioms in propositional logic ...
openaire +2 more sources
Many-valued logic is a vast field with hundreds of published papers and numerous monographs devoted to it. I have attempted to keep this survey to manageable length by focusing on many-valued logic as an independent discipline. This means that such topics as the use of many-valued logics for proving the independence of axioms in propositional logic ...
openaire +2 more sources
2001
Let me begin with a brief discussion of the name of this chapter: the adjective “advanced” in the title can only be understood in the temporal sense; the bulk of Urquhart’s chapter in this Handbook was written for the first edition in the early 1980s and, therefore, does not cover recent results in depth.
openaire +2 more sources
Let me begin with a brief discussion of the name of this chapter: the adjective “advanced” in the title can only be understood in the temporal sense; the bulk of Urquhart’s chapter in this Handbook was written for the first edition in the early 1980s and, therefore, does not cover recent results in depth.
openaire +2 more sources
Gallium nitride-based complementary logic integrated circuits
Nature Electronics, 2021Zheyang Zheng, Li Zhang, Han Xu
exaly
Logic-in-memory based on an atomically thin semiconductor
Nature, 2020Guilherme Migliato Marega +2 more
exaly