independent axiom Latest Research Papers

Research on the Functional Design of ERP Based on Independent Axiom

DEStech Transactions on Computer Science and Engineering ◽

10.12783/dtcse/cmee2017/20064 ◽

2018 ◽

Author(s):

Shu-hai FAN ◽

Peng CHEN ◽

Lei ZHANG

Keyword(s):

Functional Design ◽

Independent Axiom

Download Full-text

Research on the Functional Design of ERP Based on Independent Axiom

2015 8th International Conference on Intelligent Computation Technology and Automation (ICICTA) ◽

10.1109/icicta.2015.197 ◽

2015 ◽

Author(s):

Zhang Lei ◽

Ji Chun ◽

Yao Bin ◽

Fan Shu-Hai

Keyword(s):

Functional Design ◽

Independent Axiom

Download Full-text

Independent axiom systems for nearlattices

Czechoslovak Mathematical Journal ◽

10.1007/s10587-011-0062-6 ◽

2011 ◽

Vol 61 (4) ◽

pp. 975-992 ◽

Cited By ~ 8

Author(s):

João Araújo ◽

Michael Kinyon

Keyword(s):

Independent Axiom ◽

Axiom Systems

Download Full-text

An Independent Axiom System for the Real Numbers

College Mathematics Journal ◽

10.4169/193113409x469505 ◽

2009 ◽

Vol 40 (2) ◽

pp. 78-86

Author(s):

Greg Oman

Keyword(s):

Axiom System ◽

Real Numbers ◽

The Real ◽

Independent Axiom

Download Full-text

An Independent Axiom System for the Real Numbers

College Mathematics Journal ◽

10.1080/07468342.2009.11922341 ◽

2009 ◽

Vol 40 (2) ◽

pp. 78-86

Author(s):

Greg Oman

Keyword(s):

Axiom System ◽

Real Numbers ◽

The Real ◽

Independent Axiom

Download Full-text

Frank Harary. A very independent axiom system. The American mathematical monthly, vol. 68 (1961), pp. 159–162.

Journal of Symbolic Logic ◽

10.2307/2272913 ◽

1974 ◽

Vol 39 (3) ◽

pp. 604-604 ◽

Cited By ~ 1

Author(s):

Donald H. Potts

Keyword(s):

Axiom System ◽

Independent Axiom

Download Full-text

Alan Ross Anderson, Nuel D. BelnapJr., and John R. Wallace. Independent axiom schemata for the pure theory of entailment. Zeitschrift für mathemutische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 93–95.

Journal of Symbolic Logic ◽

10.2307/2272076 ◽

1973 ◽

Vol 38 (2) ◽

pp. 327-328

Author(s):

Donald Paul Snyder

Keyword(s):

Pure Theory ◽

Independent Axiom

Download Full-text

1. On the Existence of Independent Axiom Systems for Infinite Sentence Systems

The Collected Papers of Gerhard Gentzen - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70820-6 ◽

1969 ◽

pp. 29-52

Keyword(s):

Independent Axiom ◽

Axiom Systems

Download Full-text

Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 (1962), pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 (1962), pp. 206–208.

Journal of Symbolic Logic ◽

10.2307/2271666 ◽

1967 ◽

Vol 32 (2) ◽

pp. 245-245

Author(s):

Naoto Yonemitsu

Keyword(s):

Propositional Calculus ◽

Axiom System ◽

Formal Logic ◽

Independent Axiom

Download Full-text

A reduction in the number of independent axiom schemata for $S4$.

Notre Dame Journal of Formal Logic ◽

10.1305/ndjfl/1093957318 ◽

1962 ◽

Vol 3 (4) ◽

pp. 256-258

Author(s):

Leo Simons

Keyword(s):

Independent Axiom

Download Full-text

independent axiom
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Research on the Functional Design of ERP Based on Independent Axiom

Research on the Functional Design of ERP Based on Independent Axiom

Independent axiom systems for nearlattices

An Independent Axiom System for the Real Numbers

An Independent Axiom System for the Real Numbers

Frank Harary. A very independent axiom system. The American mathematical monthly, vol. 68 (1961), pp. 159–162.

Alan Ross Anderson, Nuel D. BelnapJr., and John R. Wallace. Independent axiom schemata for the pure theory of entailment. Zeitschrift für mathemutische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 93–95.

1. On the Existence of Independent Axiom Systems for Infinite Sentence Systems

A reduction in the number of independent axiom schemata for $S4$.

Export Citation Format

independent axiomRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Research on the Functional Design of ERP Based on Independent Axiom

Research on the Functional Design of ERP Based on Independent Axiom

Independent axiom systems for nearlattices

An Independent Axiom System for the Real Numbers

An Independent Axiom System for the Real Numbers

Frank Harary. A very independent axiom system. The American mathematical monthly, vol. 68 (1961), pp. 159–162.

Alan Ross Anderson, Nuel D. BelnapJr., and John R. Wallace. Independent axiom schemata for the pure theory of entailment. Zeitschrift für mathemutische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 93–95.

1. On the Existence of Independent Axiom Systems for Infinite Sentence Systems

A reduction in the number of independent axiom schemata for $S4$.

independent axiom
Recently Published Documents