Formal Deductive Inference - Articles - Scientific Research Publishing

Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.5，May 26, 2021

DOI: 10.4236/jamp.2021.95070 260 Downloads 838 Views Citations
Formal Logical Arguments in Islamic Law (Articles)

Rehan Rafique

Open Journal of Philosophy Vol.15 No.1，February 13, 2025

DOI: 10.4236/ojpp.2025.151010 51 Downloads 276 Views Citations
A Formal Deductive Inference of the Law of Inertia in a Logically Formalized Axiomatic Epistemology System Sigma from the Assumption of Knowledge A-Priori-Ness (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.3，March 25, 2021

DOI: 10.4236/jamp.2021.93031 364 Downloads 1,071 Views Citations
Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions (Articles)

Vladimir Olegovich Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.8，August 19, 2022

DOI: 10.4236/jamp.2022.108167 164 Downloads 677 Views Citations
Applying Logic and Discrete Mathematics to Philosophy of Nature: Precise Defining “Time”, “Matter”, and “Order” in Metaphysics and Thermodinamics (Articles)

Vladimir O. Lobovikov

Open Journal of Philosophy Vol.11 No.1，February 5, 2021

DOI: 10.4236/ojpp.2021.111009 499 Downloads 1,675 Views Citations
Formal Methods for Commercial Applications Issues vs. Solutions (Articles)

Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed

Journal of Software Engineering and Applications Vol.7 No.8，July 22, 2014

DOI: 10.4236/jsea.2014.78062 8,319 Downloads 10,946 Views Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z (Articles)

Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor

Journal of Software Engineering and Applications Vol.8 No.8，August 19, 2015

DOI: 10.4236/jsea.2015.88037 6,330 Downloads 8,676 Views Citations
Integrated Model of Effective Adult and Continuing Vocational Education and Training (Articles)

Kaethe Schneider

Psychology Vol.10 No.15，December 9, 2019

DOI: 10.4236/psych.2019.1015127 611 Downloads 1,727 Views Citations
The Impact of Knowledge Management on Institutional Performance through the Balanced Scorecard—An Applied Study on Ports Training Institution (Articles)

Rania Mustafa, Mohamed Wahaba, Alaa El-Gharabawi, Mohamed A. Ragheb

Open Access Library Journal Vol.8 No.1，January 20, 2021

DOI: 10.4236/oalib.1106997 729 Downloads 2,702 Views Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania (Articles)

Jane J. Mbilinyi, Abiud L. Kaswamila, Emiliana A. Assenga

Current Urban Studies Vol.10 No.4，November 9, 2022

DOI: 10.4236/cus.2022.104032 241 Downloads 1,319 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,897 Downloads 16,386 Views Citations
Combining Internal Data with Scenario Analysis (Articles)

Elias Karam, Frédéric Planchet

Modern Economy Vol.6 No.5，May 22, 2015

DOI: 10.4236/me.2015.65055 4,481 Downloads 5,336 Views Citations
Sample Size Affect Ethnobotanical Index Values: Bootstrap as a Remedial Approach (Articles)

Gbemavo Dossou Sèblodo Judes Charlemagne, Cachon Fresnel Boris, Lokonon Bruno

Open Journal of Applied Sciences Vol.12 No.11，November 7, 2022

DOI: 10.4236/ojapps.2022.1211121 139 Downloads 568 Views Citations
Didactic Transposition for Inferential and Analogical Thinking, Reasoning and Transfer of School Knowledge for Societal Context-of-Use (Articles)

George N. Nditafon, Emmanuel Noumi

Open Access Library Journal Vol.5 No.8，August 14, 2018

DOI: 10.4236/oalib.1104785 603 Downloads 1,754 Views Citations
Thinking and Scientific Language in the Primary Classes (Articles)

Saleh Y. Abo-Romi

Creative Education Vol.11 No.5，May 27, 2020

DOI: 10.4236/ce.2020.115059 543 Downloads 1,561 Views Citations
Reasoning with the THOG Problem: A Forty-Year Retrospective (Articles)

María Dolores Valiña#, Montserrat Martín

Psychology Vol.12 No.12，December 31, 2021

DOI: 10.4236/psych.2021.1212124 303 Downloads 1,687 Views Citations
This article belongs to the Special Issue on Cognitive Psychology
A Study of the Structure of Evolutionary Theory (Articles)

Wei Wei

Open Journal of Social Sciences Vol.12 No.6，June 20, 2024

DOI: 10.4236/jss.2024.126011 74 Downloads 422 Views Citations
Formal Derivation of the Combinatorics Problems with PAR Method (Articles)

Lingyu SUN, Yatian SUN

Journal of Software Engineering and Applications Vol.2 No.3，October 23, 2009

DOI: 10.4236/jsea.2009.23026 7,256 Downloads 10,805 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4，April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,514 Downloads 7,851 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2，June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,518 Downloads 4,589 Views Citations

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies