Academic literature on the topic 'Propositional Constants'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.
Journal articles on the topic "Propositional Constants"
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 textDissertations / Theses on the topic "Propositional Constants"
Rossignol, Antoine. "Proposition pour une nouvelle approche des relations différentielles linéaires à coefficients constants." Toulouse 3, 1997. http://www.theses.fr/1997TOU30117.
Full textMai, Chanh-Trung. "Proposition, validation d’un modèle du seuil d’interface à partir des paramètres de formulation des bétons et calcul de la pression de pompage." Thesis, Cergy-Pontoise, 2015. http://www.theses.fr/2015CERG0788.
Full textWith many advantages over traditional techniques, the pumping technique is widely used nowadays in the civil engineering field. To use this technique, the concrete must be considered "pumpable". Previous studies have all shown that the pumpability of concrete depends on the friction at the interface between the concrete and the pipe wall (the viscous constant and the interface yield stress). Improving pumpability (while maintaining stability, homogeneity and mechanical properties of concrete) will reduce the implementation time of concrete and to advance work on site. In this context, the main objective of this work is the modeling of the interface yield stress from the formulation parameters and calculating the concrete pumping pressure. To facilitate the study, an experimental database was built to demonstrate the effect of the composition parameters of ordinary concrete and concrete with mineral additions on the interface parameters, so the pumpability. This database was then used to propose and validate an interface yield stress calculation model based on composition parameters and slump. The precision of this model is of around ± 13%. Ensuite, le modèle proposé a été utilisé pour estimer la pression de pompage. The comparison between the estimated pumping pressures and those measured experimentally on the site by other researchers has shown that the proposed method provides the pressure values with a precision of the order of 15%. The results of this study provide important scientific database for the pumping technology users and highlight the role of each formulation component on the interface parameters. They can also be used for other future research work.Keywords: concrete pumping, pumping pressure, tribometer, friction, viscous constant, interface yield stress, rheology, composition parameters, modeling
Sidi-Hida, Mouna. "L'adaptation cinématographie d'oeuvres littéraires françaises et l'enseignement du français au secondaire au Maroc : constats, enjeux et propositions." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENL031.
Full textExplore film adaptations of literary works in French class, opens up interesting didactic teaching French. In the case of Morocco, this experience has enabled the implementation of a set of didactic sequences for secondary classes (college and high school). Students learned to reevaluate the scope of each artistic and expressive art. The introductory work on the film through the film adaptation, demonstrated to students the complexity of this particular artistic language. Therefore, the film has acquired the status of an object of knowledge among the components of French courses. Equally, understanding literature through film, rehabilitated the literary language from students instead of being put off by the literature, claiming the complexity of his language, students have discovered in it, the depth of human thought and sometimes even of their own. In this way, they began a long way, to learn how to receive the word and image
El, Ajel El Ghazi. "Eléments pour une formation continue des maîtres bilingues au Maroc : constat diagnostique et propositions." Paris 3, 2000. http://www.theses.fr/2000PA030097.
Full textBERTHELEMY, BIGOTTE FLORENCE, and JACKY BERTHELEMY. "La dependance chez les personnes agees hebergees en secteur social a roubaix et ses environs : constat actuel et propositions." Lille 2, 1990. http://www.theses.fr/1990LIL2M332.
Full textBELIN, PATRICK. "Diagnostic d'urgence et p. M. S. I. : analyse du rapport d'activite medicale 1993 du s.m.u.r. du c.h. de saint-dizier ; constats, discussion et propositions." Reims, 1994. http://www.theses.fr/1994REIMM014.
Full textSeery, Annabelle. "Travail de reproduction sociale, travail rémunéré et mouvement des femmes : constats, perceptions et propositions des jeunes féministes québécoises." Mémoire, 2012. http://www.archipel.uqam.ca/5221/1/M12715.pdf.
Full textBooks on the topic "Propositional Constants"
BROYER, Jacques. RECONSTRUIRE L'ÉCOLE PRIMAIRE - Constats, analyses et propositions. Paris: Editions L'Harmattan, 2013.
Find full textMubadiate, Buabua wa Kayembe. Traite de droit fiscal zaïrois: Constats et propositions sur les contributions et la douane. [Kinshasa]: Presses universitaires du Zaïre, 1993.
Find full textConseil supérieur de la marine marchande (France), Conseil national des communautés portuaires (France), and Assises nationales de la marine marchande et des ports maritimes (1994 : Saint-Malo, France, etc.), eds. Marine marchande et ports maritimes français: Constats, attentes, propositions : actes des assises nationales, Saint-Malo/Portsmouth, le Bretagne, 16-17 mai 1994. Plouzané: Editions de l'IFREMER, Centre de Brest, 1994.
Find full textgénéral, Mayotte Conseil. Débat de politique agricole: 7e session extraordinaire du Conseil général, 18 septembre 1991 : relevé des constats et propositions formulés au cours des ateliers préparatoires. [Mamoudzou, Mayotte]: République française, Mayotte, Représentation du gouvernement, Direction de l'agriculture, 1991.
Find full textLe calendrier scolaire en vigueur en Polynesie francaise: Constats et propositions. [French Polynesia]: Conseil économique, social et culturel de Polynésie française, 2001.
Find full textIsett, Philip. Stress Terms Not Involving Solving the Divergence Equation. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691174822.003.0025.
Full textClarke, Katherine. Epilogue. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198820437.003.0008.
Full textIdema, Wilt. Elite versus Popular Literature. Edited by Wiebke Denecke, Wai-Yee Li, and Xiaofei Tian. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199356591.013.17.
Full textIsett, Philip. The Divergence Equation. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691174822.003.0006.
Full textIsett, Philip. Bounds for the Corrections. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691174822.003.0022.
Full textBook chapters on the topic "Propositional Constants"
Guller, Dušan. "Hyperresolution for Propositional Product Logic with Truth Constants." In Studies in Computational Intelligence, 197–220. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99283-9_10.
Full textSchlaudt, Oliver, and Mohsen Sakhri. "Calcul des propositions constantesa." In Louis Couturat -Traité de Logique algorithmique, 185–203. Basel: Birkhäuser Basel, 2010. http://dx.doi.org/10.1007/978-3-0346-0411-6_11.
Full textJohannsen, Jan. "Equational calculi and constant depth propositional proofs." In DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 149–62. Providence, Rhode Island: American Mathematical Society, 1997. http://dx.doi.org/10.1090/dimacs/039/09.
Full textTorlone, Francesca. "The Value Proposition of Organizations for Young Graduates and their Employability." In Employability & Competences, 459–70. Florence: Firenze University Press, 2018. http://dx.doi.org/10.36253/978-88-6453-672-9.49.
Full textWalther, Andreas, Barbara Stauber, and Richard A. Settersten. "“Doing Transitions”: A New Research Perspective." In Life Course Research and Social Policies, 3–18. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13512-5_1.
Full textHedman, Shawn. "Structures and first-order logic." In A First Course in Logic. Oxford University Press, 2004. http://dx.doi.org/10.1093/oso/9780198529804.003.0006.
Full textNördstrom, B., and K. Petersson. "Martin-Löf ’s type theory." In Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures. Oxford University Press, 2001. http://dx.doi.org/10.1093/oso/9780198537816.003.0004.
Full text"Predicative Unit Classes (Sets) in Text Design." In Advances in Educational Technologies and Instructional Design, 115–31. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-2672-9.ch005.
Full text"Bounds for constant-depth Frege systems." In Bounded Arithmetic, Propositional Logic and Complexity Theory, 232–78. Cambridge University Press, 1995. http://dx.doi.org/10.1017/cbo9780511529948.013.
Full textStojnić, Una. "Content in Context." In Context and Coherence, 85–94. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198865469.003.0007.
Full textConference papers on the topic "Propositional Constants"
Leofante, Francesco, Enrico Giunchiglia, Erika Ábráham, and Armando Tacchella. "Optimal Planning Modulo Theories." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/571.
Full textMacasaet, Patrick. "Learning Frontiers: Concourse for Ideas." In 2019 ACSA Teachers Conference. ACSA Press, 2019. http://dx.doi.org/10.35483/acsa.teach.2019.13.
Full textKale, Pramod T., and Sukhwant S. Banwait. "An Investigation of Enterprise Resource Planning Implementation: Empirical Evidence From Indian Companies." In ASME 2010 International Mechanical Engineering Congress and Exposition. ASMEDC, 2010. http://dx.doi.org/10.1115/imece2010-38092.
Full textHuang, Wei, Weitao Du, and Richard Yi Da Xu. "On the Neural Tangent Kernel of Deep Networks with Orthogonal Initialization." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/355.
Full textMaiorano, Massimo, and Enrico Sciubba. "Heat Exchangers Networks Synthesis and Optimisation Performed by an Exergy-Based Expert Assistant." In ASME 1999 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/imece1999-0851.
Full textCogan, Alexander I. "Discrimination between a smooth and jagged temporal edge." In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1990. http://dx.doi.org/10.1364/oam.1990.ths5.
Full textRodrigues, L. P., R. C. Silva, and A. B. S. Oliveira. "Multibody Dynamic Simulation of a Double ‘A’ Suspension Focusing on the Lower Control Arm Fatigue Life Analysis." In ASME 2017 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/imece2017-71779.
Full textLeinster-Evans, S., J. Newell, and S. Luck. "Turning data into reality." In 14th International Naval Engineering Conference and Exhibition. IMarEST, 2018. http://dx.doi.org/10.24868/issn.2515-818x.2018.056.
Full textGiauque, Alexis, Maxime Huet, Franck Clero, Sébastien Ducruix, and Franck Richecoeur. "Thermoacoustic Shape Optimization of a Subsonic Nozzle." In ASME Turbo Expo 2013: Turbine Technical Conference and Exposition. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/gt2013-94764.
Full textReunanen, Tero. "Relations of Different Features in Time Management: Procrastination." In 13th International Conference on Applied Human Factors and Ergonomics (AHFE 2022). AHFE International, 2022. http://dx.doi.org/10.54941/ahfe1002264.
Full textReports on the topic "Propositional Constants"
Baader, Franz, Pavlos Marantidis, and Alexander Okhotin. Approximately Solving Set Equations. Technische Universität Dresden, 2016. http://dx.doi.org/10.25368/2022.227.
Full textThost, Veronika, Jan Holste, and Özgür Özçep. On Implementing Temporal Query Answering in DL-Lite. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.218.
Full text