Formal Logic - Articles - Scientific Research Publishing

Introducing the Paraquantum Equations and Applications (Articles)

João Inácio Da Silva Filho

Journal of Modern Physics Vol.4 No.6, June 13, 2013

DOI: 10.4236/jmp.2013.46098 4,002 Downloads 6,313 Views Citations
Paraconsistent Differential Calculus (Part I): First-Order Paraconsistent Derivative (Articles)

João Inácio Da Silva Filho

Applied Mathematics Vol.5 No.6, April 8, 2014

DOI: 10.4236/am.2014.56086 5,907 Downloads 8,183 Views Citations
Dark Energy Calculations Using the Paraquantum Gamma Factor (γ_Pψ) on the Relativistic Energy Equation (Articles)

João Inácio Da Silva Filho

Journal of Modern Physics Vol.5 No.6, April 9, 2014

DOI: 10.4236/jmp.2014.56042 4,822 Downloads 6,959 Views Citations
Paraconsistent Differential Calculus (Part II): Second-Order Paraconsistent Derivative (Articles)

João Inácio Da Silva Filho

Applied Mathematics Vol.5 No.8, May 5, 2014

DOI: 10.4236/am.2014.58107 4,176 Downloads 5,748 Views Citations
Undulatory Theory with Paraconsistent Logic (Part I): Quantum Logical Model with Two Wave Functions (Articles)

João Inácio Da Silva Filho

Journal of Quantum Information Science Vol.6 No.3, August 12, 2016

DOI: 10.4236/jqis.2016.63012 2,201 Downloads 4,250 Views Citations
The Fundamental Theory of Artificial Intelligence—Logic Structure and Logic Engineering (Articles)

Dong H. Liu

Intelligent Control and Automation Vol.15 No.1, February 23, 2024

DOI: 10.4236/ica.2024.151003 330 Downloads 1,554 Views Citations
Semi-Automatic Objects Recognition in Urban Areas Based on Fuzzy Logic (Articles)

Federico Prandi, Raffaella Brumana, Francesco Fassi

Journal of Geographic Information System Vol.2 No.2, May 14, 2010

DOI: 10.4236/jgis.2010.22011 5,541 Downloads 10,065 Views Citations
A Unified Theory (I) for Neighborhood Systems and Basic Concepts on Fuzzifying Topological Spaces (Articles)

Osama Rashed Sayed

Applied Mathematics Vol.3 No.9, September 27, 2012

DOI: 10.4236/am.2012.39146 3,857 Downloads 6,644 Views Citations
Selection of Best Materials and Parametric Optimization of Solar Parabolic Collector Using Fuzzy Logic (Articles)

Sri P. Mohana Reddy, Pathi Venkataramaiah, Devuru Vishnu Vardhan Reddy

Energy and Power Engineering Vol.6 No.14, December 12, 2014

DOI: 10.4236/epe.2014.614046 3,991 Downloads 5,903 Views Citations
Analysis of the Logic Defects of Locke’s Claim on Land Privatization (Articles)

Runian Wang, Yafei E

Open Journal of Political Science Vol.9 No.3, July 19, 2019

DOI: 10.4236/ojps.2019.93032 512 Downloads 1,677 Views Citations
Insatiable Narcissism Underlying Addictive Behavior: Outline of a Biosystematic Model (Articles)

Bernhard J. Mitterauer

Open Journal of Medical Psychology Vol.10 No.4, August 19, 2021

DOI: 10.4236/ojmp.2021.104006 427 Downloads 2,427 Views Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.2 No.2, July 15, 2009

DOI: 10.4236/jsea.2009.22012 5,183 Downloads 8,969 Views Citations
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks (Articles)

Sanjeev GUPTA, Mayank DAVE

Wireless Sensor Network Vol.2 No.1, January 13, 2010

DOI: 10.4236/wsn.2010.21008 8,080 Downloads 12,963 Views Citations
A Conflicts Detection Approach for Merging Formal Specification Views (Articles)

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

Journal of Software Engineering and Applications Vol.3 No.5, May 24, 2010

DOI: 10.4236/jsea.2010.35052 5,301 Downloads 9,128 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8, August 26, 2010

DOI: 10.4236/jsea.2010.38093 5,258 Downloads 8,870 Views Citations
PLC Modeling and Checking Based on Formal Method (Articles)

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang

Journal of Software Engineering and Applications Vol.3 No.11, November 29, 2010

DOI: 10.4236/jsea.2010.311124 8,595 Downloads 16,930 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

International Journal of Communications, Network and System Sciences Vol.5 No.3, March 21, 2012

DOI: 10.4236/ijcns.2012.53021 4,035 Downloads 6,822 Views Citations
The Imaginary Audience and the Personal Fable: A Test of Elkind’s Theory of Adolescent Egocentrism (Articles)

Evangelia P. Galanaki

Psychology Vol.3 No.6, June 18, 2012

DOI: 10.4236/psych.2012.36065 30,125 Downloads 52,654 Views Citations
Building Relationships between Schools and Communities’ Agencies: Crafting a Programmatic Proposal (Articles)

Imran Shaari, Shu-Shing Lee

Creative Education Vol.3 No.3, June 20, 2012

DOI: 10.4236/ce.2012.33057 5,349 Downloads 8,864 Views Citations
A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming (Articles)

Khalid Benlhachmi, Mohammed Benattou

Journal of Information Security Vol.4 No.2, April 23, 2013

DOI: 10.4236/jis.2013.42013 4,655 Downloads 7,578 Views Citations

First <...234 ...>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