Sequent calculi for Visser's propositional logics (Q1409300): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1054301352
+Normal rank
@@ Property / OpenAlex ID @@
+W2024340229
@@ Property / OpenAlex ID: W2024340229 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic Propositional Calculus I
@@ Property / cites work: Basic Propositional Calculus I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3987175
@@ Property / cites work: Q3987175 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic predicate calculus
@@ Property / cites work: Basic predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487297
@@ Property / cites work: Q4487297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296741
@@ Property / cites work: Q4296741 / rank @@
+Normal rank
@@ Property / cites work @@
+Speaking about transitive frames in propositional languages
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of provability: cut-elimination
@@ Property / cites work: The modal logic of provability: cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank