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,298 Downloads 4,632 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 126 Downloads 902 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,592 Downloads 10,560 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,460 Downloads 5,630 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,262 Downloads 4,797 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 697 Downloads 2,188 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,529 Downloads 11,554 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,564 Downloads 9,535 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 345 Downloads 1,788 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

International Journal of Communications, Network and System Sciences Vol.3 No.10, October 27, 2010

DOI: 10.4236/ijcns.2010.310104 8,227 Downloads 17,147 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,989 Downloads 6,117 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,967 Downloads 9,640 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,975 Downloads 9,409 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 411 Downloads 2,559 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 356 Downloads 1,272 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,476 Downloads 11,381 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,691 Downloads 8,415 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,672 Downloads 5,023 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,424 Downloads 6,902 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,537 Downloads 3,279 Views Citations

First <12 3 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies