UGC Approved Journal no 63975(19)

ISSN: 2349-5162 | ESTD Year : 2014
Call for Paper
Volume 11 | Issue 4 | April 2024

JETIREXPLORE- Search Thousands of research papers

WhatsApp Contact
Click Here

Published in:

Volume 5 Issue 2
February-2018
eISSN: 2349-5162

UGC and ISSN approved 7.95 impact factor UGC Approved Journal no 63975

7.95 impact factor calculated by Google scholar

Unique Identifier

Published Paper ID:
JETIR1802269


Registration ID:
302635

Page Number

1328-1334

Share This Article


Jetir RMS

Title

FORMALISED STRUCTURE OF LOWER PREDICATE CALCULUS.

Abstract

The object of this paper is to discuss the brief structure of lower predicate calulus in the language structure . It is mainly devoted towards the study logical formulations of mathematical structures which is the backbone of all other disciplines.

Key Words

Predicate calculus, Modals, Atomic formula, Brouwer fixed point.

Cite This Article

"FORMALISED STRUCTURE OF LOWER PREDICATE CALCULUS.", International Journal of Emerging Technologies and Innovative Research (www.jetir.org), ISSN:2349-5162, Vol.5, Issue 2, page no.1328-1334, February-2018, Available :http://www.jetir.org/papers/JETIR1802269.pdf

ISSN


2349-5162 | Impact Factor 7.95 Calculate by Google Scholar

An International Scholarly Open Access Journal, Peer-Reviewed, Refereed Journal Impact Factor 7.95 Calculate by Google Scholar and Semantic Scholar | AI-Powered Research Tool, Multidisciplinary, Monthly, Multilanguage Journal Indexing in All Major Database & Metadata, Citation Generator

Cite This Article

"FORMALISED STRUCTURE OF LOWER PREDICATE CALCULUS.", International Journal of Emerging Technologies and Innovative Research (www.jetir.org | UGC and issn Approved), ISSN:2349-5162, Vol.5, Issue 2, page no. pp1328-1334, February-2018, Available at : http://www.jetir.org/papers/JETIR1802269.pdf

Publication Details

Published Paper ID: JETIR1802269
Registration ID: 302635
Published In: Volume 5 | Issue 2 | Year February-2018
DOI (Digital Object Identifier):
Page No: 1328-1334
Country: Patna, BIhar, India .
Area: Mathematics
ISSN Number: 2349-5162
Publisher: IJ Publication
Published Paper URL :: https://www.jetir.org/view?paper=JETIR1802269
Published Paper PDF: https://www.jetir.org/papers/JETIR1802269

Preview This Article


Downlaod

Click here for Article Preview

Download PDF

Downloads

0003037

Print This Page

Current Call For Paper

Volume 11 | Issue 4
April 2024

Call for Paper
Cilck Here For More Info

Jetir RMS