Results 221 to 230 of about 39,738 (264)
All-photon logic gate calculation based on phase change materials. [PDF]
Sun J +9 more
europepmc +1 more source
A class of models for intermediate logics.
openaire +3 more sources
The Bidirectional Regulatory Role of Neuroimmune Interaction in Neurodevelopment and Neurodegenerative Diseases. [PDF]
Liu J, Wang Y, Long Y, Guo G, Liu D.
europepmc +1 more source
Fuzzy logic-based reactive power control for power factor enhancement in EV drives. [PDF]
Mohan H +6 more
europepmc +1 more source
Grape Must as a Bioelectrochemical Processor. [PDF]
Mougkogiannis P, Adamatzky A.
europepmc +1 more source
Biochemical parallels between catabolic pathways for lignin-associated aromatic dimers. [PDF]
Michener JK.
europepmc +1 more source
Toward bidirectional FHIR-OMOP CDM transformations using TermX to support the secondary use of real-world health data within a patient-centered digital health paradigm. [PDF]
Ardel HK +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Possibilistic intermediate logic
International Journal of Advanced Intelligence Paradigms, 2012We define what we call 'possibilistic intermediate logic (PIL)'; we present results analogous to those of the well-known intermediate logic, such as a deduction theorem, a generalised version of the deduction theorem, a cut rule, a weak version of a refutation theorem, a substitution theorem and Glivenko's theorem.
Oscar Hernán Estrada +2 more
openaire +1 more source
1997
Abstract Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding.
openaire +1 more source
Abstract Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding.
openaire +1 more source

