Gentzen-type axiomatization for PAL (Q688720): Difference between revisions

For propositional algorithmic logic (PAL) as introduced by \textit{G. Mirkowska} [Fund. Inform. 4, 675-760 (1981; Zbl 0494.68030)] the author gives a finite, cut-free Gentzen-type axiomatization, proves the completeness of this axiomatization, and gets as corollaries a small- model theorem as well as a decision procedure for PAL.

0 references

Mathematics Subject Classification ID

68Q60

0 references

0 references

0 references

logic of programs

0 references

sequent calculus

0 references

decidability

0 references

propositional algorithmic logic

0 references

axiomatization

0 references

reviewed by

Siegfried Johannes Gottwald

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

On the Decidability of Propositional Algorithmic Logic

0 references

Propositional dynamic logic of regular programs

0 references

Q4343990

0 references

Q3947646

0 references

Sequential method in propositional dynamic logic

0 references

Semantical analysis of constructive PDL

0 references

Q5596237

0 references

Propositional dynamic logic of looping and converse is elementarily decidable

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:688720

@@ Property / reviewed by @@
-Q688719
@@ Property / reviewed by: Q688719 / rank @@
-Normal rank
@@ Property / reviewed by @@
+Siegfried Johannes Gottwald
@@ Property / reviewed by: Siegfried Johannes Gottwald / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decidability of Propositional Algorithmic Logic
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947646
@@ Property / cites work: Q3947646 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential method in propositional dynamic logic
@@ Property / cites work: Sequential method in propositional dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analysis of constructive PDL
@@ Property / cites work: Semantical analysis of constructive PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596237
@@ Property / cites work: Q5596237 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:688720