The method of axiomatic rejection for the intuitionistic propositional logic (Q750414): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Tsutomu Hosoi / rank | |||
Property / reviewed by | |||
Property / reviewed by: Tsutomu Hosoi / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The foundations of mathematics. A study in the philosophy of science / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5805951 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5813911 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On maximal intermediate logics with the disjunction property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory of rejected propositions. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof of L-decidability of Lewis system S5 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On proofs of rejection / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:34, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The method of axiomatic rejection for the intuitionistic propositional logic |
scientific article |
Statements
The method of axiomatic rejection for the intuitionistic propositional logic (English)
0 references
1989
0 references
It is proved that the intuitionistic sentential calculus is decidable in the sense of Łukasiewicz. For the proof, an axiomatic system is given for the sets of rejected formulas of the intuitionistic calculus by adding a rule to the system of Łukasiewicz.
0 references
intuitionistic logic
0 references
axiomatic system for the sets of rejected formulas
0 references
intuitionistic sentential calculus
0 references