ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
independent axiom
Recently Published Documents
TOTAL DOCUMENTS
17
(FIVE YEARS 0)
H-INDEX
3
(FIVE YEARS 0)
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close