메뉴 건너뛰기




Volumn 29, Issue 1, 2002, Pages 1-16

Short single axioms for Boolean algebra

Author keywords

Boolean algebra; Sheffer stroke; Single axiom

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; CONFORMAL MAPPING; MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING;

EID: 0036624926     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1020542009983     Document Type: Article
Times cited : (60)

References (20)
  • 1
    • 4243297930 scopus 로고    scopus 로고
    • Correspondence by electronic mail
    • Avenhaus, J.: Correspondence by electronic mail, 2000.
    • (2000)
    • Avenhaus, J.1
  • 3
    • 0011334264 scopus 로고
    • Single axioms for groups
    • Kunen, K.: Single axioms for groups, J. Automated Reasoning 9(3) (1992), 291-308.
    • (1992) J. Automated Reasoning , vol.9 , Issue.3 , pp. 291-308
    • Kunen, K.1
  • 4
    • 0011328498 scopus 로고
    • McCune, W.: Otter, http://www.mcs.anl.gov./AR/otter/, 1994.
    • (1994) Otter
    • McCune, W.1
  • 5
    • 0003734447 scopus 로고
    • Technical Report ANL-94/6, Argonne National Laboratory, Argonne, IL
    • McCune, W.: Otter 3.0 reference manual and guide, Technical Report ANL-94/6, Argonne National Laboratory, Argonne, IL, 1994.
    • (1994) Otter 3.0 Reference Manual and Guide
    • McCune, W.1
  • 6
    • 0031378630 scopus 로고    scopus 로고
    • Solution of the Robbins problem
    • McCune, W.: Solution of the Robbins problem, J. Automated Reasoning 19(3) (1997), 263-276.
    • (1997) J. Automated Reasoning , vol.19 , Issue.3 , pp. 263-276
    • McCune, W.1
  • 7
    • 0011334265 scopus 로고    scopus 로고
    • Single axioms for Boolean algebra
    • Tech. Memo ANL/MCS-TM-243, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL
    • McCune, W.: Single axioms for Boolean algebra, Tech. Memo ANL/MCS-TM-243, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 2000.
    • (2000)
    • McCune, W.1
  • 8
    • 0011283229 scopus 로고    scopus 로고
    • Tech. Memo ANL/MCS-TM-249, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL
    • McCune, W.: MACE 2.0 reference manual and guide, Tech. Memo ANL/MCS-TM-249, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 2001.
    • (2001) MACE 2.0 Reference Manual and Guide
    • McCune, W.1
  • 9
    • 32844463015 scopus 로고    scopus 로고
    • IVY: A preprocessor and proof checker for first-order logic
    • in M. Kaufmann, P. Manolios and J. Moore (eds); Kluwer Academic Publishers; Chapt. 16
    • McCune, W. and Shumsky, O.: IVY: A preprocessor and proof checker for first-order logic, in M. Kaufmann, P. Manolios and J. Moore (eds), Computer-Aided Reasoning: ACL2 Case Studies, Kluwer Academic Publishers, 2000, Chapt. 16.
    • (2000) Computer-Aided Reasoning: ACL2 Case Studies
    • McCune, W.1    Shumsky, O.2
  • 10
    • 84972492789 scopus 로고
    • Equational postulates for the Sheffer stroke
    • Meredith, C. A.: Equational postulates for the Sheffer stroke, Notre Dame J. Formal Logic 10(3) (1969), 266-270.
    • (1969) Notre Dame J. Formal Logic , vol.10 , Issue.3 , pp. 266-270
    • Meredith, C.A.1
  • 12
    • 0011333577 scopus 로고
    • Single identities for ternary Boolean algebras
    • Padmanabhan, R. and McCune, W.: Single identities for ternary Boolean algebras, Comput. Math. Appl. 29(2) (1995), 13-16.
    • (1995) Comput. Math. Appl. , vol.29 , Issue.2 , pp. 13-16
    • Padmanabhan, R.1    McCune, W.2
  • 13
    • 84968503402 scopus 로고
    • Equational theories of algebras with distributive congruences
    • Padmanabhan, R. and Quackenbush, R. W.: Equational theories of algebras with distributive congruences, Proc. Amer. Math. Soc. 41(2) (1973), 373-377.
    • (1973) Proc. Amer. Math. Soc. , vol.41 , Issue.2 , pp. 373-377
    • Padmanabhan, R.1    Quackenbush, R.W.2
  • 14
    • 84968502701 scopus 로고
    • A set of five independent postulates for Boolean algebras, with application to logical constants
    • Sheffer, H.: A set of five independent postulates for Boolean algebras, with application to logical constants, Trans. Amer. Math. Soc. 14(4) (1913), 481-488.
    • (1913) Trans. Amer. Math. Soc. , vol.14 , Issue.4 , pp. 481-488
    • Sheffer, H.1
  • 15
    • 0030170073 scopus 로고    scopus 로고
    • Using hints to increase the effectiveness of an automated reasoning program: Case studies
    • Veroff, R.: Using hints to increase the effectiveness of an automated reasoning program: Case studies, J. Automated Reasoning 16(3) (1996), 223-239.
    • (1996) J. Automated Reasoning , vol.16 , Issue.3 , pp. 223-239
    • Veroff, R.1
  • 16
    • 0003854651 scopus 로고    scopus 로고
    • Short 2-bases for Boolean algebra in terms of the Sheffer stroke
    • Technical Report TR-CS-2000-25, Computer Science Department, University of New Mexico, Albuquerque, NM
    • Veroff, R.: Short 2-bases for Boolean algebra in terms of the Sheffer stroke, Technical Report TR-CS-2000-25, Computer Science Department, University of New Mexico, Albuquerque, NM, 2000.
    • (2000)
    • Veroff, R.1
  • 17
    • 4243291704 scopus 로고    scopus 로고
    • Correspondence by electronic mail
    • Wolfram, S.: Correspondence by electronic mail, 2000.
    • (2000)
    • Wolfram, S.1
  • 18
    • 0011363924 scopus 로고
    • Searching for circles of pure proofs
    • Wos, L.: Searching for circles of pure proofs, J. Automated Reasoning 15(3) (1995), 279-315.
    • (1995) J. Automated Reasoning , vol.15 , Issue.3 , pp. 279-315
    • Wos, L.1
  • 20
    • 0000652015 scopus 로고
    • SEM: A system for enumerating models
    • Zhang, J. and Zhang, H.: SEM: A system for enumerating models, in Proc. IJCAI-95, Vol. 1, 1995, pp. 298-303.
    • (1995) Proc. IJCAI-95 , vol.1 , pp. 298-303
    • Zhang, J.1    Zhang, H.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.