The single-minded pursuit of consistency and its weakness (Q631514): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-010-9298-7
@@ Property / DOI: 10.1007/s11225-010-9298-7 / rank @@
-Normal rank
@@ Property / author @@
-Walter Alexandre Carnielli
@@ Property / author: Walter Alexandre Carnielli / rank @@
-Normal rank
@@ Property / author @@
+Walter Alexandre Carnielli
@@ Property / author: Walter Alexandre Carnielli / rank @@
+Normal rank
@@ 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.1007/s11225-010-9298-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2056412177
@@ Property / OpenAlex ID: W2056412177 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q4440796
@@ Property / cites work: Q4440796 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic from a modal viewpoint
@@ Property / cites work: Paraconsistent logic from a modal viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Omega-consistency and the diamond
@@ Property / cites work: Omega-consistency and the diamond / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523486
@@ Property / cites work: Q4523486 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and incompleteness for anodic modal logics
+Normal rank
@@ Property / cites work @@
+Q3112290
@@ Property / cites work: Q3112290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3444812
@@ Property / cites work: Q3444812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311062
@@ Property / cites work: Q5311062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329287
@@ Property / cites work: Q4329287 / rank @@
+Normal rank
@@ Property / cites work @@
+New dimensions on translations between logics
@@ Property / cites work: New dimensions on translations between logics / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of logics. How to cut and paste reasoning systems
+Normal rank
@@ Property / cites work @@
+Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
+Normal rank
@@ Property / cites work @@
+Note on a property of matrices for Lewis and Langford's calculi of propositions
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5546768
@@ Property / cites work: Q5546768 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342543
@@ Property / cites work: Q3342543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367515
@@ Property / cites work: Q3367515 / rank @@
+Normal rank
@@ Property / cites work @@
+Possible-translations semantics for some weak classically-based paraconsistent logics
+Normal rank
@@ Property / cites work @@
+Q4841568
@@ Property / cites work: Q4841568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731564
@@ Property / cites work: Q3731564 / rank @@
+Normal rank
@@ Property / cites work @@
+The basic constructive logic for a weak sense of consistency
+Normal rank
@@ Property / cites work @@
+Post completeness in modal logic
@@ Property / cites work: Post completeness in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388801
@@ Property / cites work: Q4388801 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence postulate and non-regular systems of modal logic
+Normal rank
@@ Property / cites work @@
+Generalized change and the meaning of rationality postulates
+Normal rank
@@ Property / cites work @@
+An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
+Normal rank
@@ Property / DOI @@
+.1007/S11225-010-9298-7
@@ Property / DOI: 10.1007/S11225-010-9298-7 / rank @@
+Normal rank