Articles de revues sur le sujet « Propositional Constants »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Propositional Constants ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Groote, Jan Friso. « Hiding propositional constants in BDDs ». Formal Methods in System Design 8, no 1 (janvier 1996) : 91–96. http://dx.doi.org/10.1007/bf00121264.
Texte intégralFrench, Rohan. « Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants ». Notre Dame Journal of Formal Logic 53, no 4 (2012) : 549–56. http://dx.doi.org/10.1215/00294527-1722746.
Texte intégralRen, Xuanzhi. « Fullness and Decidability in Continuous Propositional Logic ». Mathematics 10, no 23 (25 novembre 2022) : 4455. http://dx.doi.org/10.3390/math10234455.
Texte intégralPascucci, Matteo. « A Unified Semantics for a Family of Modal Logics with Propositional Constants ». Logica Universalis 10, no 1 (26 décembre 2015) : 45–66. http://dx.doi.org/10.1007/s11787-015-0137-5.
Texte intégralBarendregt, Henk, Martin Bunder et Wil Dekkers. « Systems of illative combinatory logic complete for first-order propositional and predicate calculus ». Journal of Symbolic Logic 58, no 3 (septembre 1993) : 769–88. http://dx.doi.org/10.2307/2275096.
Texte intégralHájek, Petr. « Computational complexity of t-norm based propositional fuzzy logics with rational truth constants ». Fuzzy Sets and Systems 157, no 5 (mars 2006) : 677–82. http://dx.doi.org/10.1016/j.fss.2005.12.008.
Texte intégralBeklemishev, Lev D. « Bimodal logics for extensions of arithmetical theories ». Journal of Symbolic Logic 61, no 1 (mars 1996) : 91–124. http://dx.doi.org/10.2307/2275600.
Texte intégralDekkers, Wil, Martin Bunder et Henk Barendregt. « Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic ». Journal of Symbolic Logic 63, no 3 (septembre 1998) : 869–90. http://dx.doi.org/10.2307/2586717.
Texte intégralEsteva, Francesc, Lluís Godo et Carles Noguera. « Expanding the propositional logic of a t-norm with truth-constants : completeness results for rational semantics ». Soft Computing 14, no 3 (11 février 2009) : 273–84. http://dx.doi.org/10.1007/s00500-009-0402-8.
Texte intégralDu, Guoping. « Parenthesis Notation ». Journal of Research in Philosophy and History 5, no 1 (22 février 2022) : p44. http://dx.doi.org/10.22158/jrph.v5n1p44.
Texte intégralVYCHODIL, VILEM. « FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER ». International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 21, no 04 (août 2013) : 483–96. http://dx.doi.org/10.1142/s0218488513500244.
Texte intégralBELLIN, GIANLUIGI. « Subnets of proof-nets in multiplicative linear logic with MIX ». Mathematical Structures in Computer Science 7, no 6 (décembre 1997) : 663–69. http://dx.doi.org/10.1017/s0960129597002326.
Texte intégralRybakov, Mikhail, et Dmitry Shkatov. « Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages ». Journal of Logic and Computation 30, no 7 (26 août 2020) : 1305–29. http://dx.doi.org/10.1093/logcom/exaa041.
Texte intégralStålmarck, Gunnar. « Normalization theorems for full first order classical natural deduction ». Journal of Symbolic Logic 56, no 1 (mars 1991) : 129–49. http://dx.doi.org/10.2307/2274910.
Texte intégralKrajíček, Jan. « A form of feasible interpolation for constant depth Frege systems ». Journal of Symbolic Logic 75, no 2 (juin 2010) : 774–84. http://dx.doi.org/10.2178/jsl/1268917504.
Texte intégralMENN, STEPHEN. « AL-FĀRĀBĪ'S KITĀB AL-ḤURŪF AND HIS ANALYSIS OF THE SENSES OF BEING ». Arabic Sciences and Philosophy 18, no 1 (mars 2008) : 59–97. http://dx.doi.org/10.1017/s0957423908000477.
Texte intégralPiha, Elena. « Making public space. About the same or about difference ? » Journal of Public Space 2, no 2 (11 octobre 2017) : 145. http://dx.doi.org/10.5204/jps.v2i2.100.
Texte intégralArnon, Avron. « Implication, Equivalence, and Negation ». Logical Investigations 27, no 1 (27 mai 2021) : 31–45. http://dx.doi.org/10.21146/2074-1472-2021-27-1-31-45.
Texte intégralDyckhoff, Roy. « Contraction-free sequent calculi for intuitionistic logic ». Journal of Symbolic Logic 57, no 3 (septembre 1992) : 795–807. http://dx.doi.org/10.2307/2275431.
Texte intégralBacon, John. « The completeness of a predicate-functor logic ». Journal of Symbolic Logic 50, no 4 (décembre 1985) : 903–26. http://dx.doi.org/10.2307/2273980.
Texte intégralStjernfelt, Frederik. « Dicisigns and cognition : The logical interpretation of the ventral-dorsal split in animal perception ». Cognitive Semiotics 7, no 1 (1 mai 2014) : 61–82. http://dx.doi.org/10.1515/cogsem-2014-0004.
Texte intégralCottrell, Allin. « Keynes's Theory of Probability and Its Relevance to His Economics : Three Theses ». Economics and Philosophy 9, no 1 (avril 1993) : 25–51. http://dx.doi.org/10.1017/s0266267100005101.
Texte intégralMakarova, Tatiana V., Olga A. Sotnikova et Anatoliy E. Groshev. « Forecasting Durability of Construction Composites on the Basis of Liquid Rubber ». Materials Science Forum 931 (septembre 2018) : 295–99. http://dx.doi.org/10.4028/www.scientific.net/msf.931.295.
Texte intégralRebuschi, Manuel. « Le Moi comme un objet intentionnel. Une sémantique de «je» sans engagement ontologique ». Dialogue 51, no 2 (juin 2012) : 187–210. http://dx.doi.org/10.1017/s0012217312000765.
Texte intégralGriffin, Nicholas. « Was Russell Shot or Did He Fall ? » Dialogue 30, no 4 (1991) : 549–54. http://dx.doi.org/10.1017/s0012217300011860.
Texte intégralBourdeau, Michel. « La théorie intuitionniste des types : sémantique des preuves et théorie des constructions ». Dialogue 36, no 2 (1997) : 323–40. http://dx.doi.org/10.1017/s0012217300009537.
Texte intégralFritz, Peter. « First-order modal logic in the necessary framework of objects ». Canadian Journal of Philosophy 46, no 4-5 (août 2016) : 584–609. http://dx.doi.org/10.1080/00455091.2015.1132976.
Texte intégralCorrêa, Diogo Silva, et André Ricardo do P. Magnelli. « L’apocalypse de Gaïa : la cosmopolitique pour l’Anthropocène de Bruno Latour ». Natures Sciences Sociétés 28, no 3-4 (juillet 2020) : 314–22. http://dx.doi.org/10.1051/nss/2021013.
Texte intégralTamai, Fujio, et Yuji Kawakami. « Reflecting Multi-Layer Coatings by RF Sputtering ». Materials Science Forum 502 (décembre 2005) : 309–14. http://dx.doi.org/10.4028/www.scientific.net/msf.502.309.
Texte intégralGupta, Mousumi, et Debasish Bhattacharjee. « Two Weighted Fuzzy Goal Programming Methods to Solve Multiobjective Goal Programming Problem ». Journal of Applied Mathematics 2012 (2012) : 1–20. http://dx.doi.org/10.1155/2012/796028.
Texte intégralBarra, Jérôme, Maria-Angeles Peña et Pilar Bustamante. « Proposition of group molar constants for sodium to calculate the partial solubility parameters of sodium salts using the van Krevelen group contribution method ». European Journal of Pharmaceutical Sciences 10, no 2 (avril 2000) : 153–61. http://dx.doi.org/10.1016/s0928-0987(00)00061-0.
Texte intégralDelon, Françoise, et Patrick Simonetta. « Undecidable wreath products and skew power series fields ». Journal of Symbolic Logic 63, no 1 (mars 1998) : 237–46. http://dx.doi.org/10.2307/2586598.
Texte intégralQuantin, M., C. Morio, G. Guibu Pereira, J. Vazquez, J. Wertel, S. Isel, S. Galuola et J. Buche. « Calibration numérique 3D de vannes basculantes pour la mesure du débit déversé ». Techniques Sciences Méthodes, no 5 (mai 2019) : 89–100. http://dx.doi.org/10.1051/tsm/201905089.
Texte intégralBouvier, Jacques W., David M. Emms, Timothy Rhodes, Jai S. Bolton, Amelia Brasnett, Alice Eddershaw, Jochem R. Nielsen, Anastasia Unitt, Spencer M. Whitney et Steven Kelly. « Rubisco Adaptation Is More Limited by Phylogenetic Constraint Than by Catalytic Trade-off ». Molecular Biology and Evolution 38, no 7 (19 mars 2021) : 2880–96. http://dx.doi.org/10.1093/molbev/msab079.
Texte intégralLapshin, Viktor P., Ilya A. Turkin, Alexey A. Zakalyuzhnyy, Viktor F. Khlystunov et Gennadiy A. Kuzin. « Adaptation of the control synthesized by the ACAR method to the control based on the implementation of the maximum principle ». MATEC Web of Conferences 226 (2018) : 02012. http://dx.doi.org/10.1051/matecconf/201822602012.
Texte intégralIkechukwu I. Udema. « Rate constants are determinable outside the original Michaelis–Menten mathematical formalism wherein the substrate concentration range is 1.6 4.8 times enzyme concentration : A pre-steady-state scenario and beyond ». World Journal of Advanced Research and Reviews 16, no 1 (30 octobre 2022) : 350–67. http://dx.doi.org/10.30574/wjarr.2022.16.1.0989.
Texte intégralToyota, K., A. P. Dastoor et A. Ryzhkov. « Air–snowpack exchange of bromine, ozone and mercury in the springtime Arctic simulated by the 1-D model PHANTAS – Part 2 : Mercury and its speciation ». Atmospheric Chemistry and Physics 14, no 8 (25 avril 2014) : 4135–67. http://dx.doi.org/10.5194/acp-14-4135-2014.
Texte intégralДубровский, В. А., К. Н. Дворецкий, С. В. Марков, Е. П. Карпочева et В. В. Тучин. « Оптическая цифровая регистрация седиментации эритроцитов и ее моделирование в форме коллективного процесса ». Журнал технической физики 126, no 5 (2019) : 678. http://dx.doi.org/10.21883/os.2019.05.47670.20-19.
Texte intégralBremberg, Sven G. « Early Childhood Conditions and Old-Age Mortality ». Open Public Health Journal 11, no 1 (30 mars 2018) : 112–21. http://dx.doi.org/10.2174/1874944501811010112.
Texte intégralFerreira, Denielson Moura, Dalva Valente Guimarães Gutierres et Ana Paula da Silva Carneiro. « O processo de construção e aprovação do plano de carreira dos profissionais do magistério da rede estadual de ensino do estado do Pará ». Revista Educação e Emancipação 10, no 1 (13 juin 2017) : 101. http://dx.doi.org/10.18764/2358-4319.v10n1p101-124.
Texte intégralToyota, K., A. P. Dastoor et A. Ryzhkov. « Air-snowpack exchange of bromine, ozone and mercury in the springtime Arctic simulated by the 1-D model PHANTAS – Part 2 : Mercury and its speciation ». Atmospheric Chemistry and Physics Discussions 13, no 8 (26 août 2013) : 22151–220. http://dx.doi.org/10.5194/acpd-13-22151-2013.
Texte intégralDASGUPTA, Shashiprabha, Dipak DASGUPTA, Aruna CHATTERJEE, Susweta BISWAS et Birendra B. BISWAS. « Conformational changes in plant Ins(1,4,5)P3 receptor on interaction with different myo-inositol trisphosphates and its effect on Ca2+ release from microsomal fraction and liposomes ». Biochemical Journal 321, no 2 (15 janvier 1997) : 355–60. http://dx.doi.org/10.1042/bj3210355.
Texte intégralGaron, Jean-Denis, et Alain Paquet. « LES ENJEUX D’EFFICIENCE ET LA FISCALITÉ ». Articles 93, no 3 (29 mars 2019) : 297–337. http://dx.doi.org/10.7202/1058424ar.
Texte intégralWilliams, AJ, et AJ Williams. « Some comparative studies of sulfate metabolism in Merino sheep genetically different in wool production ». Australian Journal of Agricultural Research 46, no 2 (1995) : 415. http://dx.doi.org/10.1071/ar9950415.
Texte intégralDosse, François. « Paul Ricoeur et l’écriture de l’histoire ou comment Paul Ricoeur révolutionne l’histoire ». Perspectives théoriques, no 26 (29 avril 2011) : 138–69. http://dx.doi.org/10.7202/1002346ar.
Texte intégralKamalakkannan, Abbish, Peter Johnston et Barbara Johnston. « Improving the accuracy of retrieved cardiac electrical conductivities ». ANZIAM Journal 63 (12 août 2022) : C154—C167. http://dx.doi.org/10.21914/anziamj.v63.17148.
Texte intégralNascimento, Maria Naiane Rolim, Nuno Damácio de Carvalho Félix, Simone Soares Damasceno, Ana Maria Parente Garcia Alencar, Célida Juliana de Oliveira et Maria Miriam Lima da Nóbrega. « Diagnósticos de enfermagem psicoespirituais para pessoas com síndrome metabólica ». Revista de Enfermagem UFPE on line 12, no 12 (2 décembre 2018) : 3181. http://dx.doi.org/10.5205/1981-8963-v12i12a238081p3181-3189-2018.
Texte intégralEKONG, JOSEPH T. « A Ratiocinative Study and Assessment of W. V. O. Quine’s “Criterion of Ontological Commitment” ». International Journal of Philosophy 1, no 1 (7 octobre 2022) : 41–58. http://dx.doi.org/10.47941/ijp.1052.
Texte intégralSilva, Ana Karla Loureiro da, et Maria da Conceição Valença da Silva. « Formação de professores/as no sistema prisional do Estado de Alagoas : avanços, limites e possibilidades (Teacher training in the state of Alagoas’ prison system : advances, limits and possibilities) ». Revista Eletrônica de Educação 15 (24 mars 2021) : e4757031. http://dx.doi.org/10.14244/198271994757.
Texte intégralBoeva, Luc. « De nationalisering van de demos. Twee nieuwe bijdragen rond nationalisme in België ». WT. Tijdschrift over de geschiedenis van de Vlaamse beweging 68, no 1 (1 janvier 2009) : 63–77. http://dx.doi.org/10.21825/wt.v68i1.12407.
Texte intégral