Formal Logic - Articles - Scientific Research Publishing

Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection (Articles)

Michael Perrick

Open Journal of Philosophy Vol.8 No.5，November 29, 2018

DOI: 10.4236/ojpp.2018.85040 1,144 Downloads 3,947 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 64 Downloads 348 Views Citations
Formal Semantics of OWL-S with Rewrite Logic (Articles)

Ning Huang, Xiaojuan Wang, Camilo Rocha

Journal of Software Engineering and Applications Vol.2 No.1，April 16, 2009

DOI: 10.4236/jsea.2009.21004 5,413 Downloads 10,086 Views Citations
A Logical Treatment of Non-Termination and Program Behaviour (Articles)

Martin Ward, Hussein Zedan

Journal of Software Engineering and Applications Vol.7 No.7，June 5, 2014

DOI: 10.4236/jsea.2014.77051 4,367 Downloads 5,259 Views Citations
This article belongs to the Special Issue on Programming Languages
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2，February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,142 Downloads 4,251 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 511 Downloads 1,710 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,341 Downloads 11,002 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,352 Downloads 8,750 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 249 Downloads 1,377 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,916 Downloads 16,440 Views Citations
A Comparative Study of Majority/Minority Logic Circuit Synthesis Methods for Post-CMOS Nanotechnologies (Articles)

Amjad Almatrood, Harpreet Singh

Engineering Vol.9 No.10，October 27, 2017

DOI: 10.4236/eng.2017.910054 1,844 Downloads 5,522 Views Citations
Paraconsistent Algorithm Extractor of Contradiction Effects - Paraextrctr_ctr (Articles)

Joao Inacio Da Silva Filho, Germano Lambert-Torres, Luiz Fernando Pompeo Ferrara, Maurício Conceição Mário, Marcos Rosa dos Santos, Alexandre Shozo Onuki, José de Melo Camargo, Alexandre Rocco

Journal of Software Engineering and Applications Vol.4 No.10，October 11, 2011

DOI: 10.4236/jsea.2011.410067 5,676 Downloads 9,038 Views Citations
Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic (Articles)

João Inácio Da Silva Filho

Journal of Intelligent Learning Systems and Applications Vol.4 No.2，May 23, 2012

DOI: 10.4236/jilsa.2012.42014 5,790 Downloads 8,912 Views Citations
Logic and the Development of Scientific Competencies in First-Year General Education (Articles)

Mandana Sobhanzadeh, Karim Dharamsi, Nicholas Strzalkowski, Peter Zizler, Eric Roettger

Creative Education Vol.12 No.11，November 17, 2021

DOI: 10.4236/ce.2021.1211193 307 Downloads 2,062 Views Citations
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 266 Downloads 865 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,266 Downloads 10,838 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,523 Downloads 7,888 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,531 Downloads 4,623 Views Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism (Articles)

K. Robert Bridges, Richard J. Harnish

Psychology Vol.6 No.13，October 19, 2015

DOI: 10.4236/psych.2015.613164 4,288 Downloads 6,226 Views Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind (Articles)

Anchala Chaudhary

Open Journal of Social Sciences Vol.4 No.11，November 25, 2016

DOI: 10.4236/jss.2016.411007 1,430 Downloads 2,716 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