![Alonzo Church. Conditioned disjunction as a primitive connective for the propositional calculus. Portugaliae mathematica, vol. 7 (1948), pp. 87–90. | The Journal of Symbolic Logic | Cambridge Core Alonzo Church. Conditioned disjunction as a primitive connective for the propositional calculus. Portugaliae mathematica, vol. 7 (1948), pp. 87–90. | The Journal of Symbolic Logic | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200106103/resource/name/firstPage-S0022481200106103a.jpg)
Alonzo Church. Conditioned disjunction as a primitive connective for the propositional calculus. Portugaliae mathematica, vol. 7 (1948), pp. 87–90. | The Journal of Symbolic Logic | Cambridge Core
![Energies | Free Full-Text | Study on the Incentives Mechanism for the Development of Distributed Photovoltaic Systems from a Long-Term Perspective Energies | Free Full-Text | Study on the Incentives Mechanism for the Development of Distributed Photovoltaic Systems from a Long-Term Perspective](https://www.mdpi.com/energies/energies-11-01291/article_deploy/html/images/energies-11-01291-g001.png)
Energies | Free Full-Text | Study on the Incentives Mechanism for the Development of Distributed Photovoltaic Systems from a Long-Term Perspective
![FAT10 and NUB1L bind to the VWA domain of Rpn10 and Rpn1 to enable proteasome-mediated proteolysis | Nature Communications FAT10 and NUB1L bind to the VWA domain of Rpn10 and Rpn1 to enable proteasome-mediated proteolysis | Nature Communications](https://media.springernature.com/m685/springer-static/image/art%3A10.1038%2Fncomms1752/MediaObjects/41467_2012_Article_BFncomms1752_Fig1_HTML.jpg)
FAT10 and NUB1L bind to the VWA domain of Rpn10 and Rpn1 to enable proteasome-mediated proteolysis | Nature Communications
![Drones | Free Full-Text | Attitude Control of a Hypersonic Glide Vehicle Based on Reduced-Order Modeling and NESO-Assisted Backstepping Variable Structure Control Drones | Free Full-Text | Attitude Control of a Hypersonic Glide Vehicle Based on Reduced-Order Modeling and NESO-Assisted Backstepping Variable Structure Control](https://www.mdpi.com/drones/drones-07-00119/article_deploy/html/images/drones-07-00119-g001.png)