The pure calculus of entailment (Q3849883): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Q383032 / rank | |||
Property / author | |||
Property / author: Nuel D. jun. Belnap / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2083488768 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strict implication, deducibility and the deduction theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The deduction theorem in a functional calculus of first order based on strict implication / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3248957 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Independent Axiom Schemata for the Pure Theory of Entailment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modalities in Ackermann's “rigorous implication” / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An essay in modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Begründung einer strengen Implikation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3112283 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:13, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The pure calculus of entailment |
scientific article |
Statements
The pure calculus of entailment (English)
0 references
1963
0 references
mathematical logic
0 references
0 references