descriptionPublicationkeyboard_double_arrow_right Article 01 Mar 1959 English Publisher:Cambridge University Press (CUP)Journal:Journal of Symbolic Logic, volume 24, pages 20-36 (issn: 0022-4812, eissn: 1943-5886,

Authors: Toshio Umezawa;

doi: 10.2307/2964571

On intermediate propositional logics

- Summary
- Subjects
- Related research
  (1)
- Metrics

Abstract

By intermediate prepositional logics we mean prepositional logics between the intuitionistic and classical logics.K. Gödel [1] proved that there is a set of intermediate prepositional logics which possesses the order type ω. The method enables us to define intermediate logics in terms of axioms and rules of inference. We shall call it the axiomatic method.

Related Organizations

Nagoya University
Japan
Tokai National Higher Education and Research System
Japan

Keywords

mathematical logic

1 Research products, page 1 of 1

From inheritance relation to nonaxiomatic logic
1994IsAmongTopNSimilarDocuments

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	20
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average