The method of axiomatic rejection for the intuitionistic propositional logic (Q750414): Difference between revisions

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

Mathematics Subject Classification ID

03B20

0 references

0 references

0 references

intuitionistic logic

0 references

axiomatic system for the sets of rejected formulas

0 references

intuitionistic sentential calculus

0 references

reviewed by

Tsutomu Hosoi

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

The foundations of mathematics. A study in the philosophy of science

0 references

Q5805951

0 references

Q5813911

0 references

On maximal intermediate logics with the disjunction property

0 references

Q5734410

0 references

Theory of rejected propositions. I

0 references

Proof of L-decidability of Lewis system S5

0 references

On proofs of rejection

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:750414

@@ Property / reviewed by @@
-Tsutomu Hosoi
@@ Property / reviewed by: Tsutomu Hosoi / rank @@
-Normal rank
@@ Property / reviewed by @@
+Tsutomu Hosoi
@@ Property / reviewed by: Tsutomu Hosoi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The foundations of mathematics. A study in the philosophy of science
+Normal rank
@@ Property / cites work @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813911
@@ Property / cites work: Q5813911 / rank @@
+Normal rank
@@ Property / cites work @@
+On maximal intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of rejected propositions. I
@@ Property / cites work: Theory of rejected propositions. I / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of L-decidability of Lewis system S5
@@ Property / cites work: Proof of L-decidability of Lewis system S5 / rank @@
+Normal rank
@@ Property / cites work @@
+On proofs of rejection
@@ Property / cites work: On proofs of rejection / rank @@
+Normal rank