Journal articles on the topic 'Propositional Constants'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Propositional Constants.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Groote, Jan Friso. "Hiding propositional constants in BDDs." Formal Methods in System Design 8, no. 1 (January 1996): 91–96. http://dx.doi.org/10.1007/bf00121264.
Full textFrench, 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.
Full textRen, Xuanzhi. "Fullness and Decidability in Continuous Propositional Logic." Mathematics 10, no. 23 (November 25, 2022): 4455. http://dx.doi.org/10.3390/math10234455.
Full textPascucci, Matteo. "A Unified Semantics for a Family of Modal Logics with Propositional Constants." Logica Universalis 10, no. 1 (December 26, 2015): 45–66. http://dx.doi.org/10.1007/s11787-015-0137-5.
Full textBarendregt, Henk, Martin Bunder, and Wil Dekkers. "Systems of illative combinatory logic complete for first-order propositional and predicate calculus." Journal of Symbolic Logic 58, no. 3 (September 1993): 769–88. http://dx.doi.org/10.2307/2275096.
Full textHájek, Petr. "Computational complexity of t-norm based propositional fuzzy logics with rational truth constants." Fuzzy Sets and Systems 157, no. 5 (March 2006): 677–82. http://dx.doi.org/10.1016/j.fss.2005.12.008.
Full textBeklemishev, Lev D. "Bimodal logics for extensions of arithmetical theories." Journal of Symbolic Logic 61, no. 1 (March 1996): 91–124. http://dx.doi.org/10.2307/2275600.
Full textDekkers, Wil, Martin Bunder, and Henk Barendregt. "Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic." Journal of Symbolic Logic 63, no. 3 (September 1998): 869–90. http://dx.doi.org/10.2307/2586717.
Full textEsteva, Francesc, Lluís Godo, and Carles Noguera. "Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics." Soft Computing 14, no. 3 (February 11, 2009): 273–84. http://dx.doi.org/10.1007/s00500-009-0402-8.
Full textDu, Guoping. "Parenthesis Notation." Journal of Research in Philosophy and History 5, no. 1 (February 22, 2022): p44. http://dx.doi.org/10.22158/jrph.v5n1p44.
Full textVYCHODIL, VILEM. "FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 21, no. 04 (August 2013): 483–96. http://dx.doi.org/10.1142/s0218488513500244.
Full textBELLIN, GIANLUIGI. "Subnets of proof-nets in multiplicative linear logic with MIX." Mathematical Structures in Computer Science 7, no. 6 (December 1997): 663–69. http://dx.doi.org/10.1017/s0960129597002326.
Full textRybakov, Mikhail, and Dmitry Shkatov. "Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages." Journal of Logic and Computation 30, no. 7 (August 26, 2020): 1305–29. http://dx.doi.org/10.1093/logcom/exaa041.
Full textStålmarck, Gunnar. "Normalization theorems for full first order classical natural deduction." Journal of Symbolic Logic 56, no. 1 (March 1991): 129–49. http://dx.doi.org/10.2307/2274910.
Full textKrajíček, Jan. "A form of feasible interpolation for constant depth Frege systems." Journal of Symbolic Logic 75, no. 2 (June 2010): 774–84. http://dx.doi.org/10.2178/jsl/1268917504.
Full textMENN, 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 (March 2008): 59–97. http://dx.doi.org/10.1017/s0957423908000477.
Full textPiha, Elena. "Making public space. About the same or about difference?" Journal of Public Space 2, no. 2 (October 11, 2017): 145. http://dx.doi.org/10.5204/jps.v2i2.100.
Full textArnon, Avron. "Implication, Equivalence, and Negation." Logical Investigations 27, no. 1 (May 27, 2021): 31–45. http://dx.doi.org/10.21146/2074-1472-2021-27-1-31-45.
Full textDyckhoff, Roy. "Contraction-free sequent calculi for intuitionistic logic." Journal of Symbolic Logic 57, no. 3 (September 1992): 795–807. http://dx.doi.org/10.2307/2275431.
Full textBacon, John. "The completeness of a predicate-functor logic." Journal of Symbolic Logic 50, no. 4 (December 1985): 903–26. http://dx.doi.org/10.2307/2273980.
Full textStjernfelt, Frederik. "Dicisigns and cognition: The logical interpretation of the ventral-dorsal split in animal perception." Cognitive Semiotics 7, no. 1 (May 1, 2014): 61–82. http://dx.doi.org/10.1515/cogsem-2014-0004.
Full textCottrell, Allin. "Keynes's Theory of Probability and Its Relevance to His Economics: Three Theses." Economics and Philosophy 9, no. 1 (April 1993): 25–51. http://dx.doi.org/10.1017/s0266267100005101.
Full textMakarova, Tatiana V., Olga A. Sotnikova, and Anatoliy E. Groshev. "Forecasting Durability of Construction Composites on the Basis of Liquid Rubber." Materials Science Forum 931 (September 2018): 295–99. http://dx.doi.org/10.4028/www.scientific.net/msf.931.295.
Full textRebuschi, Manuel. "Le Moi comme un objet intentionnel. Une sémantique de «je» sans engagement ontologique." Dialogue 51, no. 2 (June 2012): 187–210. http://dx.doi.org/10.1017/s0012217312000765.
Full textGriffin, Nicholas. "Was Russell Shot or Did He Fall?" Dialogue 30, no. 4 (1991): 549–54. http://dx.doi.org/10.1017/s0012217300011860.
Full textBourdeau, 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.
Full textFritz, Peter. "First-order modal logic in the necessary framework of objects." Canadian Journal of Philosophy 46, no. 4-5 (August 2016): 584–609. http://dx.doi.org/10.1080/00455091.2015.1132976.
Full textCorrêa, Diogo Silva, and 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 (July 2020): 314–22. http://dx.doi.org/10.1051/nss/2021013.
Full textTamai, Fujio, and Yuji Kawakami. "Reflecting Multi-Layer Coatings by RF Sputtering." Materials Science Forum 502 (December 2005): 309–14. http://dx.doi.org/10.4028/www.scientific.net/msf.502.309.
Full textGupta, Mousumi, and 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.
Full textBarra, Jérôme, Maria-Angeles Peña, and 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 (April 2000): 153–61. http://dx.doi.org/10.1016/s0928-0987(00)00061-0.
Full textDelon, Françoise, and Patrick Simonetta. "Undecidable wreath products and skew power series fields." Journal of Symbolic Logic 63, no. 1 (March 1998): 237–46. http://dx.doi.org/10.2307/2586598.
Full textQuantin, M., C. Morio, G. Guibu Pereira, J. Vazquez, J. Wertel, S. Isel, S. Galuola, and J. Buche. "Calibration numérique 3D de vannes basculantes pour la mesure du débit déversé." Techniques Sciences Méthodes, no. 5 (May 2019): 89–100. http://dx.doi.org/10.1051/tsm/201905089.
Full textBouvier, Jacques W., David M. Emms, Timothy Rhodes, Jai S. Bolton, Amelia Brasnett, Alice Eddershaw, Jochem R. Nielsen, Anastasia Unitt, Spencer M. Whitney, and Steven Kelly. "Rubisco Adaptation Is More Limited by Phylogenetic Constraint Than by Catalytic Trade-off." Molecular Biology and Evolution 38, no. 7 (March 19, 2021): 2880–96. http://dx.doi.org/10.1093/molbev/msab079.
Full textLapshin, Viktor P., Ilya A. Turkin, Alexey A. Zakalyuzhnyy, Viktor F. Khlystunov, and 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.
Full textIkechukwu 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 (October 30, 2022): 350–67. http://dx.doi.org/10.30574/wjarr.2022.16.1.0989.
Full textToyota, K., A. P. Dastoor, and 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 (April 25, 2014): 4135–67. http://dx.doi.org/10.5194/acp-14-4135-2014.
Full textДубровский, В. А., К. Н. Дворецкий, С. В. Марков, Е. П. Карпочева, and В. В. Тучин. "Оптическая цифровая регистрация седиментации эритроцитов и ее моделирование в форме коллективного процесса." Журнал технической физики 126, no. 5 (2019): 678. http://dx.doi.org/10.21883/os.2019.05.47670.20-19.
Full textBremberg, Sven G. "Early Childhood Conditions and Old-Age Mortality." Open Public Health Journal 11, no. 1 (March 30, 2018): 112–21. http://dx.doi.org/10.2174/1874944501811010112.
Full textFerreira, Denielson Moura, Dalva Valente Guimarães Gutierres, and 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 (June 13, 2017): 101. http://dx.doi.org/10.18764/2358-4319.v10n1p101-124.
Full textToyota, K., A. P. Dastoor, and 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 (August 26, 2013): 22151–220. http://dx.doi.org/10.5194/acpd-13-22151-2013.
Full textDASGUPTA, Shashiprabha, Dipak DASGUPTA, Aruna CHATTERJEE, Susweta BISWAS, and 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 (January 15, 1997): 355–60. http://dx.doi.org/10.1042/bj3210355.
Full textGaron, Jean-Denis, and Alain Paquet. "LES ENJEUX D’EFFICIENCE ET LA FISCALITÉ." Articles 93, no. 3 (March 29, 2019): 297–337. http://dx.doi.org/10.7202/1058424ar.
Full textWilliams, AJ, and 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.
Full textDosse, François. "Paul Ricoeur et l’écriture de l’histoire ou comment Paul Ricoeur révolutionne l’histoire." Perspectives théoriques, no. 26 (April 29, 2011): 138–69. http://dx.doi.org/10.7202/1002346ar.
Full textKamalakkannan, Abbish, Peter Johnston, and Barbara Johnston. "Improving the accuracy of retrieved cardiac electrical conductivities." ANZIAM Journal 63 (August 12, 2022): C154—C167. http://dx.doi.org/10.21914/anziamj.v63.17148.
Full textNascimento, Maria Naiane Rolim, Nuno Damácio de Carvalho Félix, Simone Soares Damasceno, Ana Maria Parente Garcia Alencar, Célida Juliana de Oliveira, and 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 (December 2, 2018): 3181. http://dx.doi.org/10.5205/1981-8963-v12i12a238081p3181-3189-2018.
Full textEKONG, JOSEPH T. "A Ratiocinative Study and Assessment of W. V. O. Quine’s “Criterion of Ontological Commitment”." International Journal of Philosophy 1, no. 1 (October 7, 2022): 41–58. http://dx.doi.org/10.47941/ijp.1052.
Full textSilva, Ana Karla Loureiro da, and 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 (March 24, 2021): e4757031. http://dx.doi.org/10.14244/198271994757.
Full textBoeva, 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 (January 1, 2009): 63–77. http://dx.doi.org/10.21825/wt.v68i1.12407.
Full text