Results 61 to 70 of about 2,007 (171)
This thesis essentially consists of six chapters. In the first chapter, we mentioned the traces of Sheffer stroke operation, Hilbert, nonassociative MV- and BL-algebras, their usage areas and many applications. Also, we presented information about different results of the researchers and summarized the contents of the chapters comprising the thesis. In
openaire +1 more source
P-model Alternative to the T-model [PDF]
Standard linguistic analysis of syntax uses the T-model. This model requires the ordering: D-structure $>$ S-structure $>$ LF, where D-structure is the deep structure, S-structure is the surface structure, and LF is logical form.
Roberts, Mark D.
core
The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called Ecumenical Systems, where connectives ...
A Ciabattoni +8 more
core +1 more source
Uniform Definability in Propositional Dependence Logic
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of ...
Yang, Fan
core +1 more source
Smoking Cessation Interventions and Abstinence Outcomes for People Living in Rural, Regional, and Remote Areas of Three High-Income Countries: A Systematic Review. [PDF]
Trigg J +8 more
europepmc +1 more source
The Cowl - Special Issue - Oct. 12, 1995 [PDF]
The Cowl - student newspaper of Providence College. Special Issue - Oct. 12, 1995.
core +1 more source
Structural differences between open and direct communication in an online community
Most research of online communication focuses on modes of communication that are either open (like forums, bulletin boards, Twitter, etc.) or direct (like e-mails). In this work, we study a dataset that has both types of communication channels. We relate
Holme, Petter +2 more
core +1 more source
Glutamylation is a negative regulator of microtubule growth. [PDF]
Chen J, Roll-Mecak A.
europepmc +1 more source
Consensus statement on the diagnosis, management, and treatment of angioedema mediated by Bradykinin. Part. II: treatment, follow-up, and special situations [PDF]
Background: There are no previous Spanish guidelines or consensus statements on bradykinin-induced angioedema. Aim: To draft a consensus statement on the management and treatment of angioedema mediated by bradykinin in light of currently available ...
Baeza, M. L. +17 more
core +1 more source
There is almost a consensus among conditional experts that indicative conditionals are not material. Their thought hinges on the idea that if indicative conditionals were material, A → B could be vacuously true when A is false, even if B would be false ...
Silva, Matheus
core

